формацийн онол
[1-1-5-1]日本語
形式理論
英語
formal theory
備考
axioms + inference rules