consistency proof

Consistency proof برهان سازگاری
A consistency proof is a mathematical proof that a particular theory is consistent. [7] The early development of mathematical proof theory was driven by the desire to provide finitary consistency proofs for all of mathematics as part of Hilbert's program. Hilbert's program was strongly impacted by the incompleteness theorems, which showed that sufficiently strong proof theories cannot prove their own consistency ( provided that they are in fact consistent ) .
... [مشاهده متن کامل]