Juro que toda vez que ouço essa música lembro das proposições indecidíveis.

• Teorema 1: “Qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente. Ou seja, sempre há em uma teoria consistente proposições verdadeiras que nao podem ser demonstradas nem negadas.”
• Teorema 2: “Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e algumas verdades de probabilidade formal, pode provar sua própria consistência se, e somente se, for inconsistente.”