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.
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.