Théorème D'accélération de Gödel
concept
théorème sur la taille des preuves dans un système formel et des systèmes formel plus puissant
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Théorème_d'accélération_de_Gödel
Lien Wikidata : https://www.wikidata.org/wiki/Q5626450