公こう理り系けいこうりけいMeanings1nounaxiomatic systemTechnical 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.
