Gödels second incompleteness theorem concerns the limits of consistency proofs A rough statement is: Second incompleteness theorem - Information from plato.stanford.edu