Théorème de Lowenheim-Skolem : Différence entre versions
De AgregmathKL
| Ligne 7 : | Ligne 7 : | ||
| − | [[ | + | [[Category : Développement de la leçon 917]] |
| − | [[ | + | [[Category : Développement de la leçon 924]] |
Version actuelle en date du 24 mars 2015 à 18:02
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.
