har samma egenskap som alla axiomatiska satser,