01.11.18
...
Vorph "ги́ря" Valknut
Kurt Godel:
Teorema 2: "Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e alguns enunciados da teoria da prova, pode provar sua própria consistência se, e somente se, for inconsistente"
Sabemos, sem perceber, quando estamos certos. E quanto mais estamos certos mais longe estamos de sabermos. A verdade fala-nos em paradoxos.