公理系 (こうりけい) — axiomatic system | Kumi Dictionary