Développement #330

Titre : Application du théorème de compacité

Contenu : Preuve du théorème de compacité à partir du théorème de complétude et de celui de correction.\rPuis application aux graphes : un graphe est k-coloriable ssi tout sous graphe fini l'est.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42