Application du théorème de compacité
Preuve du théorème de compacité à partir du théorème de complétude et de celui de correction.
Puis application aux graphes : un graphe est k-coloriable ssi tout sous graphe fini l'est.
| Qualité | Numéro | Titre |
|---|
Utilisateur : Gayral
Preuve maison, par induction transfinie sur les ordinaux.
Application aux pavages du réseau $\mathbb{Z}^2$.'
Références :