En tal caso, los axiomas se tendrían que entender así: