Title of article :
A generalization of the Second Incompleteness Theorem and some exceptions to it
Author/Authors :
Willard، نويسنده , , Dan E.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Abstract :
This paper will introduce the notion of a naming convention and use this paradigm to both develop a new version of the Second Incompleteness Theorem and to describe when an axiom system can partially evade the Second Incompleteness Theorem.
Keywords :
Frege and Hilbert style proofs , Second Incompleteness Theorem
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
