Portail:Logique/Le saviez-vous?/Janvier

Dans la théorie des entiers naturels, il existe des propositions vraies qui ne peuvent pas être démontrées. C'est ce qu'énonce le théorème de Gödel.