可實現性

可實現性是可用來處理關於公式的信息而不是關於公式的證明的那部分證明論 。 自然數n被稱爲實現了自然數算術的語言中一個陳述 。 其他邏輯和數學陳述也是可實現的 ， 假如提供瞭解釋合式公式一種方法 ， 而不用藉助達成這些公式的證明 。