“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.”
Frases de Kurt Gödel
1 frases