「公理」の版間の差分

 

== 公理の形式性 ==

公理にもとづく数学の定式化は、記述の定式化を促し、さらに数学をものの内在的な意味からはなれた形式的な記号の操作だと見なす考え方を導いた。公理とは前提として任意に選ばれた論理式にすぎず、その論理式から単なる記号操作で得られる論理式が定理であるという立場をとる論理学者や数学者もいる。このような考え方にたてば、ユークリッド幾何学における点や直線・平面は、論理式によって指定される性質を満たす限り、抽象的な記号操作の対象にすぎず、現実世界におけるいかなる物体を表しているわけでもないことになる。現実世界における点や直線、平面の形をしたものやそれらの間の関係性を調べることは、ユークリッド幾何学の意味([[セマンティックス]])を推察する助けにはなるが、公理にもとづく定理の推論（ユークリッド幾何の[[シンタックス]]<!-- もっといい言葉あらまほし -->）がそこから直ちに従うわけではないことになる。

 

 

== 公理の直観的・歴史的な妥当性 ==

公理系は記号で書かれた論理式の集まりなので、理屈の上では現実世界の観察に基づかない非現実的な公理系のもとに全く無意味な数学理論の体系を構築しても良いことになるが、多くの数学者は現実世界の観察に基づかない非現実的な公理系ではなく、現実世界の観察に基づく公理系を研究の対象にしている。