Théorème de Lowenheim-Skolem : Différence entre versions
De AgregmathKL
| Ligne 1 : | Ligne 1 : | ||
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). | 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. | ||
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Théorème_de_lowenheim-skolem.tex | Théorème de Lowenheim-Skolem]] | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:Théorème_de_lowenheim-skolem.tex | Théorème de Lowenheim-Skolem]] | ||
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:Théorème_de_lowenheim-skolem.pdf | Théorème de Lowenheim-Skolem]] | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:Théorème_de_lowenheim-skolem.pdf | Théorème de Lowenheim-Skolem]] | ||
Version du 24 mars 2015 à 13: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.
