Vocabulary
公理論
こうりろん
axiomatic theory
noun