可实现性 可实现性是可用来处理关于公式的信息而不是关于公式的证明的那部分证明论自然数n被称为实现了自然数算术的语言中一个陈述其他逻辑和数学陈述也是可实现的假如提供了解释合式公式一种方法而不用借助达成这些公式的证明