Théorème de Lowenheim-Skolem

De AgregmathKL
Aller à : navigation, rechercher

La seule source que j'ai trouvé (David-Nour-Rafali) ne traite pas complètement le problème, et rajoute des détails inutiles (à noter que la "vraie" version du théorème fait appel à des notions de cardinalité complètement passées à la trape ici).

Il y a aussi une preuve dans le Dowek, à voir.


Categorie : Développement de la leçon 917 Categorie : Développement de la leçon 924