• こうりぐん【公理群】

  ⇒公理系

• こうりけい【公理系】

  一つの理論体系の出発点となっている公理の集まり。それぞれの公理は互いに独立し、かつ矛盾のないことが必要。公理群。

• こうりしゅぎ【公理主義】

  すべての理論は、公理的方法によって構成されなければならないという主張。ドイツの数学者ヒルベルトによって提唱された。

• こうりてきほうほう【公理的方法】

  ある科学領域について、定められた公理系だけを基礎にして、演繹 (えんえき) 的に理論を構成していく方法。公理論。

• こうりろん【公理論】

  ⇒公理的方法

出典：デジタル大辞泉（小学館）

goo辞書とは

goo辞書は無料で使える辞書・辞典の検索サービスです。1999年にポータルサイト初の辞書サービスとして提供を開始しました。出版社による信頼性の高い語学辞典（国語辞書、英和辞書、和英辞書、類語辞書、四字熟語、漢字など）と多種多様な専門用語集を配信しています。すべての辞書をまとめて検索する「横断検索」と特定の辞書を検索する「個別検索」が可能です。国語辞書ではニュース記事や青空文庫での言葉の使用例が確認でき、使い方が分からない時に便利です。