削除された内容 追加された内容
86行目:
-->
 
== 公理の直観的・歴史的な妥当性 ==
{{節stub}}
公理は記号で書かれた論理式の集まりなので、理屈の上では現実世界の観察に基づかない非現実的な公理のもとに全く無意味な数学理論の体系を構築しても良いことになるが、多くの数学者は現実世界の観察に基づかない非現実的な公理系ではなく、現実世界の観察に基づく公理系を研究の対象にしている。