●公理系【コウリケイ】
デジタル大辞泉
こうり‐けい【公理系】
出典:小学館
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:田中牧郎、曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。
世界大百科事典 第2版
こうりけい【公理系 axiomatic system】
公理系とは,公理的体系の略称であって,とくに自然科学的学問を体系づける方法のひとつである。そのもっとも古い,しかも有名な例はユークリッド幾何学の体系であるが,20世紀に入って,いっそう明確な性格づけが与えられるようになった。その基本的な着想はつぎのようなものである。まず,一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して,それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。
出典:株式会社平凡社
Copyright (c) Heibonsha Limited, Publishers, Tokyo. All rights reserved.
精選版 日本国語大辞典
こうり‐けい【公理系】
〘名〙 =こうりぐん(公理群)
出典:精選版 日本国語大辞典
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。
「公理系」の用語解説はコトバンクが提供しています。
●公理系の関連情報