ウィキペディア日本語版 Wikipedia - フリー百科事典
Download this dictionary
公理
公理
(こうり、Axiom)とは、その他の
命題
を導きだすための
前提
として導入される最も基本的な
仮定
のことである。一つの
形式体系
における議論の前提として置かれる一連の公理の集まりを
公理系
(Axiomatic system)という。公理を前提として演繹手続きによって導きだされる命題は
定理
とよばれる。多くの文脈で「公理」と同じ
概念
をさすものとして仮定や前提という言葉も並列して用いられている。
Wikipedia.orgをもっと見ると…
c この記事は
ウィキペディア
の内容を用いており
グニュー・フリー・ドキュメンテーション・ライセンス
のライセンスのもとに提供されています そして
テキストはクリエイティブ・コモンズ 表示-継承ライセンスの下で利用可能です
。