Histoire des mathématiques Théorème

théorème de complétude de Gödel

Théorème

théorème de logique mathématique

Liens

porte le nom de

Sources