Gödel's Second Incompleteness Theorem

The theorem stating that no consistent, effectively axiomatized formal theory that is capable of representing enough arithmetic can prove its own consistency, when consistency is formalized within the theory itself; informally, a theory cannot certify its own freedom from contradiction by means available inside it.