The second incompleteness theorem does not rule out consistency proofs altogether, only consistency proofs that can be formalized in the system that is proved consistent.
Consistency proof is possible if it can be formalized in another system that is proved consistent. The second incompleteness theorem does not rule out consistency proofs altogether.
The second incompleteness theorem does not rule out consistency proofs altogether. Consistency proof is possible if it can be formalized in another system that is proved consistent.
The second incompleteness theorem does not rule out consistency proofs altogether. Consistency proof is possible if it can be formalized in another system that is proved consistent.