2022年1月30日 (日) 14:54時点における版編集 Wint7 (会話 \| 投稿記録) 拡張承認された利用者 1,684 回編集 m →‎公理の例: <math> 除去 [fmt] タグ: 2017年版ソースエディター ← 古い編集		2022年9月3日 (土) 10:45時点における版編集取り消し CHDF (会話 \| 投稿記録) 拡張承認された利用者 14,344 回編集編集の要約なし新しい編集 →
1行目: {{読み仮名\|'''公理'''\|こうり\|{{lang-en-short\|axiom}}}}は、その他の[[命題]]を導きだ出すための[[前提]]として導入される最も基本的な[[仮定]]のことである。一つの[[形式体系]]における議論の前提として置かれる一連の公理の集まりを'''{{仮リンク\|公理系\|en\|Axiomatic system\|preserve=1}}''' (axiomatic system) という<ref>[[伏見康治]]「[[確率論及統計論]]」第II章確率論８節公理系 p.61 ISBN 9784874720127 http://ebsa.ism.ac.jp/ebooks/ebook/204</ref> 。公理を前提として演繹手続きによって導きだされる命題は[[定理]]とよばれる。多くの文脈で「公理」と同じ[[概念]]をさすものとして仮定や前提という言葉も並列して用いられている。

「公理」の版間の差分