axiomatic system
Technical term in logic and mathematics for a formal system built from axioms and inference rules.
ユークリッド幾何学は古典的な公理系の例である。
Euclidean geometry is an example of a classical axiomatic system.
Compound of 公理 (axiom) and 系 (system). The exact historical derivation is uncertain, but the term is a modern technical coinage.