Gödelscher Unvollständigkeitssatz

theorem that states that no consistent system can be used to prove its own consistency