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