「公理」の版間の差分
削除された内容 追加された内容
m 公理系の訳を追加 |
|||
1行目:
'''公理'''（こうり、Axiom）とは、その他の[[命題]]を導きだすための[[前提]]として導入される最も基本的な[[仮定]]のことである。一つの[[形式体系]]における議論の前提として置かれる一連の公理の集まりを'''公理系'''（Axiomatic system）という。公理を前提として演繹手続きによって導きだされる命題は[[定理]]とよばれる。多くの文脈で「公理」と同じ[[概念]]をさすものとして仮定や前提という言葉も並列して用いられている。
公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された（形式的な）言明であるにすぎず、真実であることが明らかな[[自明]]の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。
| |||