Histoire des mathématiques › Théorème

théorème sur la taille des preuves dans un système formel et des systèmes formel plus puissant

domaine

théorie de la démonstration

Sources

• Wikidata CC0-1.0

• wikidata Q5626450