premier théorème d'incomplétude de Gödel

Liens

porte le nom de

• Kurt Gödel