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.