axiomatic system

Etymology

axiomatic + system の複合語。公理によって特徴づけられる体系。

修飾語 axiomatic

axiomatic（本項参照）に由来。公理に関する。

主要部 system

相互に関連する要素の集合。ギリシャ語 σύστημα (sustēma) より。

Origin

現代的な形成。数学・論理学用法。

Meaning

公理と推論規則に基づく形式的構造。

Earliest use

OED、Oxford Reference、Merriam-Webster に attest。

Definition

公理と推論規則からなる形式的な体系。例：ユークリッド幾何、ペアノ算術、ZFC 集合論。