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