そういうのを決めるのが公理なんじゃないですか？
公理というより性質として考え出されたみたいですけどね
よく知りませんが