●公理系【コウリケイ】

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

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