形式系统, 数学, 计算机科学, 证明理论, 逻辑学

元定理 (Metatheorem)

, , , ,