公理群（読み）コウリグン

デジタル大辞泉 「公理群」の意味・読み・例文・類語

こうり‐ぐん【公理群】

⇒公理系

出典　小学館デジタル大辞泉について　情報 | 凡例

精選版 日本国語大辞典 「公理群」の意味・読み・例文・類語

こうり‐ぐん【公理群】

  1. 〘 名詞 〙 演繹(えんえき)的理論の基礎になっている公理の全体。公理系。

出典　精選版 日本国語大辞典精選版 日本国語大辞典について　情報 | 凡例

今日のキーワード

仕事納

〘 名詞 〙 年の暮れに、その年の仕事を終えること。また、その日。《 季語・冬 》[初出の実例]「けふは大晦日(つごもり)一年中の仕事納(オサ)め」(出典：浄瑠璃・新版歌祭文（お染久松）（1780）油...

仕事納の用語解説を読む

コトバンク for iPhone

AppStore

コトバンク for Android

GooglePlay