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

Aussi : Théorème d'accélération de Gödel