“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.”
Ajude-nos a manter vivo este espaço de descoberta e reflexão, onde palavras tocam corações e provocam mudanças reais.
