Vocabulary
公理系
こうりけい
axiomatic system
noun