Ok, isto é genial e devia ser de cultura geral (mas vai afastar leitores)

Apresento-vos os Teoremas da Incompletude de Godel:

1º Teorema:
Para qualquer sistema formal consistente capaz de definir verdades aritméticas básicas ( i.e., números naturais), existe a possibilidade de formar uma afirmação que é verdadeira mas insusceptivel de prova, ou seja, que não pode ser provada verdadeira nem falsa.
Como tal, qualquer sistema capaz de exprimir verdades aritméticas básicas não pode ser simultaneamente verdadeiro e completo.

2º Teorema (que resulta do primeiro)
Nenhum sistema consistente pode ser utilizado para provar a sua própria consistência.