Développement : Application du théorème de compacité

Détails/Enoncé :

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.

Versions :

  • Auteur :
  • Remarque :
    Preuve maison, par induction transfinie sur les ordinaux.

    Application aux pavages du réseau $\mathbb{Z}^2$.
  • Fichier :