公こう理り系けい

noun

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.