Complex sentence: 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.
Split into simpler sentences: 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.