“Para qualquer teoria formal... Kurt Gödel

“Para qualquer teoria formal efetivamente gerada T, que inclua verdades da aritmética básica e também certas verdades de demonstrabilidades formais, se T inclui afirmações de sua própria consistência, então é inconsistente.”
⁠