公理 - Wikipedia

公理（こうり）は、その他の命題を導き出すための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを公理系（英語版） (axiomatic system) という[1] 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 ユークリッド原論などの古典的な数学観では、最も自明な前提を公理、それに準じて要請される前提を公準として区別していた。 公理の例[編集

[kiyo_hiko]

公理は形式にすぎず、点だの線だの面だのはセマンティクスの理解を助けるが、実は机だろうとビールジョッキだろうと頓着しない（ビールジョッキ思想）

[deep_one]

公理と定理はいいのだが、公準ってなんだっけ？

[sihou1]

定義と公理は覚えるもの。公式と定理は覚えちゃだめ。これ豆知識。

[gogatsu26]

　Axiom

[f99aq]

"公理（こうり、Axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。...公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。"

[delgado]

toread