●公理系【コウリケイ】

デジタル大辞泉

こうり‐けい【公理系】

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

出典：小学館
監修：松村明
編集委員：池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力：田中牧郎、曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

公理系とは，公理的体系の略称であって，とくに自然科学的学問を体系づける方法のひとつである。そのもっとも古い，しかも有名な例はユークリッド幾何学の体系であるが，20世紀に入って，いっそう明確な性格づけが与えられるようになった。その基本的な着想はつぎのようなものである。まず，一定の学問体系において基本的前提と考えられる命題の一定の組を選び出して，それらを公理axiomとよぶ。公理から一定の推理(推論)方法によって得られる結論を定理theoremとよぶ。

出典：株式会社平凡社
Copyright (c) Heibonsha Limited, Publishers, Tokyo. All rights reserved.