世界大百科事典（旧版）内の論理学の公理系の言及
【公理系】より
…ユークリッド幾何学とは，ユークリッドの公理を基本的前提として，演繹的推理を用いることによって得られる，いわゆる幾何学的諸定理の総体の呼称にほかならない。 現代における公理系の代表例には，論理学(命題論理と述語論理を含む体系)，数学における自然数論と集合論などがあるが，まず論理学の公理系を例として説明を加えよう。論理学の公理系とは，科学，とくに数学で用いられる推論，つまり演繹的推理の方法を公理的体系として組織したものである。…
※「論理学の公理系」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」