Gödel's incompleteness theorem

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