Théorème de Complétude de Gödel

concept

théorème de logique mathématique

Propriétés