Gödel's incompleteness theorem -

G�del's incompleteness theorem - Wikipedia, the free encyclopedia: "Gödel's second incompleteness theorem, which is proved by formalizing part of the proof of the first within the system itself, states: No consistent system can be used to prove its own consistency."