こうり‐けい【公理系】 (axiomatic system)ある科学の領域の根底に置かれる基本命題の体系。他のすべての命題はそれから演繹_えんえき的に導き出される。同一領域においてもいろいろな公理系が可能であるが、無矛盾性の要求をみたすものでなければならない。→無矛盾性。 ⇒こう‐り【公理】

こうりてき‐ほうほう【公理的方法】_{‥ハウハフ} (axiomatic method)ある科学領域の基盤となる公理系を見出し、それと特定の推理規則とに基づいて、その領域のすべての命題を演繹的に導出して理論を組みあげる方法。ユークリッド幾何学がその典型。公理論。 ⇒こう‐り【公理】 ○毫釐の差は千里の謬_{ごうりのさはせんりのあやまり} 初めは少しの違いだが終りには大きな相違を生ずることにいう。 ⇒ごう‐り【毫釐】

こうり‐ろん【公理論】 (axiomatic theory)^（→）公理的方法に同じ。 ⇒こう‐り【公理】