« Lemme de Zorn » : historique des versions

1 mars 2023

• actudiff 15:241 mars 2023 à 15:24‎ Romain975 discuter contributions‎ 49 841 octets +13‎ Fonctionnalité de suggestions de liens : 1 lien ajouté. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

21 février 2023

• actudiff 17:2021 février 2023 à 17:20‎ Sebleouf discuter contributions‎ m 49 828 octets −2‎ Révocation des modifications de 194.199.3.13 (retour à la dernière version de Glag9) annuler Balise : Révocation
• actudiff 16:5021 février 2023 à 16:50‎ 194.199.3.13 discuter‎ 49 830 octets +2‎ La Paz annuler Balises : Révoqué Éditeur visuel

28 mars 2022

• actudiff 08:2428 mars 2022 à 08:24‎ Glag9 discuter contributions‎ 49 828 octets +12‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

7 janvier 2022

• actudiff 13:007 janvier 2022 à 13:00‎ Dfeldmann discuter contributions‎ m 49 816 octets +39‎ →‎Point fixe annuler Balise : Éditeur visuel
• actudiff 12:587 janvier 2022 à 12:58‎ Dfeldmann discuter contributions‎ m 49 777 octets +6‎ →‎Point fixe annuler Balise : Éditeur de source 2017

9 juin 2021

• actudiff 14:029 juin 2021 à 14:02‎ Anne Bauval discuter contributions‎ m 49 771 octets +1‎ Annulation de la modification de Clicclac.in (d) vand annuler Balise : Annulation
• actudiff 12:329 juin 2021 à 12:32‎ Clicclac.in discuter contributions‎ m 49 770 octets −1‎ →‎Chaînes bien ordonnées annuler Balises : Révoqué Éditeur visuel

9 décembre 2020

• actudiff 17:569 décembre 2020 à 17:56‎ Cépey discuter contributions‎ 49 771 octets +37‎ →‎Variantes : relecture annuler
• actudiff 17:349 décembre 2020 à 17:34‎ Cépey discuter contributions‎ 49 734 octets +78‎ →‎Ensemble inductif : relecture annuler
• actudiff 17:199 décembre 2020 à 17:19‎ Cépey discuter contributions‎ 49 656 octets +26‎ remplace «modulo» utilisé dans un sens jargonneux annuler

12 juin 2020

• actudiff 15:0112 juin 2020 à 15:01‎ CodexBot discuter contributions‎ 49 630 octets +273‎ bot [0.83/83] Amélioration bibliographique 9x : +lieu, +lire en ligne, ©BnF, wikif... annuler

17 novembre 2019

• actudiff 00:1917 novembre 2019 à 00:19‎ Adiewibot discuter contributions‎ m 49 357 octets +1‎ BOT modèle Lien : 1 → lien interne ; + CC. annuler

11 novembre 2019

• actudiff 18:5111 novembre 2019 à 18:51‎ 78.194.187.52 discuter‎ 49 356 octets −9‎ Annulation de la modification de 78.194.187.52 (d) annuler Balise : Annulation
• actudiff 18:4311 novembre 2019 à 18:43‎ 78.194.187.52 discuter‎ 49 365 octets +9‎ Il faut que l'ensemble soit non vide ! annuler Balise : Éditeur visuel

24 août 2019

• actudiff 03:1224 août 2019 à 03:12‎ HerculeBot discuter contributions‎ m 49 356 octets −19‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant; changements de type cosmétique annuler

31 juillet 2019

• actudiff 23:2031 juillet 2019 à 23:20‎ Cbyd discuter contributions‎ 49 375 octets −18‎ +LI Zygmunt Janiszewski (trad) annuler

29 mars 2019

• actudiff 18:4429 mars 2019 à 18:44‎ Proz discuter contributions‎ 49 393 octets +168‎ →‎Théorie des ensembles : énoncés non superflus, même s'il y a un lien pour préciser annuler

28 mars 2019

• actudiff 16:0228 mars 2019 à 16:02‎ Valvino discuter contributions‎ 49 225 octets −122‎ →‎Théorie des ensembles : lien direct annuler
• actudiff 10:2428 mars 2019 à 10:24‎ Dfeldmann discuter contributions‎ m 49 347 octets −84‎ Non, le théorème de Cantor-Bernstein dit que si les deux injections existent, il y a bijection , ce qui est très différent annuler
• actudiff 10:2028 mars 2019 à 10:20‎ Pierre18200 discuter contributions‎ 49 431 octets +38‎ L'application du lemme de Zorn à l'ensemble I(E,F) des injections partielles de E dans F permet, si j'ai bien compris, de démontrer le théorème de Cantor-Bernstein. Or celui-ci se démontre très simplement (mais astucieusement) sans l'axiome du choix. Il y a donc ici une erreur me semble-t-il. Merci pour ce très bel article. annuler Balise : Éditeur visuel
• actudiff 10:1228 mars 2019 à 10:12‎ Pierre18200 discuter contributions‎ 49 393 octets +42‎ Aucun résumé des modifications annuler

22 février 2019

• actudiff 01:0522 février 2019 à 01:05‎ HerculeBot discuter contributions‎ m 49 351 octets −5‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant annuler

14 septembre 2018

• actudiff 11:5614 septembre 2018 à 11:56‎ 109.190.172.111 discuter‎ 49 356 octets 0‎ Déplacement d'un lien à la 1ère occurrence de l'expression annuler Balise : Éditeur visuel

9 septembre 2018

• actudiff 16:489 septembre 2018 à 16:48‎ 109.190.172.111 discuter‎ 49 356 octets +27‎ Aucun résumé des modifications annuler Balise : Éditeur visuel

23 août 2018

• actudiff 04:4923 août 2018 à 04:49‎ Apokrif discuter contributions‎ m 49 329 octets +21‎ Wikif. annuler

21 mai 2018

• actudiff 19:0521 mai 2018 à 19:05‎ Rehtse discuter contributions‎ m 49 308 octets +69‎ Correction modèle ouvrage avec AWB annuler

29 avril 2018

• actudiff 09:1129 avril 2018 à 09:11‎ 2a01:e0a:54:3360:554e:ef81:fd6a:f2f8 discuter‎ 49 239 octets +1‎ →‎Quelques utilisations en algèbre annuler

28 novembre 2017

• actudiff 22:3528 novembre 2017 à 22:35‎ TorkMattar discuter contributions‎ 49 238 octets −1 150‎ Annulation de la modification de 164.2.255.244 (d) je n'ai trouvé mention nulle part de l'axiome de Grabloff annuler
• actudiff 14:5728 novembre 2017 à 14:57‎ 164.2.255.244 discuter‎ 50 388 octets +1 150‎ J'ai rajouté la démonstration de l'axiome de grabloff annuler Balise : Éditeur visuel

27 septembre 2017

• actudiff 18:3127 septembre 2017 à 18:31‎ Fma1201 discuter contributions‎ m 49 238 octets 0‎ →‎Chaînes bien ordonnées : correction d'orthographe annuler Balise : Éditeur visuel

28 août 2017

• actudiff 00:5828 août 2017 à 00:58‎ Anne Bauval discuter contributions‎ m 49 238 octets −511‎ Annulation de la modification de 89.95.106.55 (d) hors-sujet dans cette section et déjà dit plus loin : #Quelques utilisations en algèbre annuler
• actudiff 00:3528 août 2017 à 00:35‎ 89.95.106.55 discuter‎ 49 749 octets +511‎ →‎Ensemble inductif : Ajout d'un paragraphe esquissant un second cas d'utilisation du lemme de Zorn intéressante : L'existence d'une base pour tout espace vectoriel. annuler Balise : Éditeur visuel

27 juillet 2017

• actudiff 14:0327 juillet 2017 à 14:03‎ Indeed discuter contributions‎ m 49 238 octets −38‎ remplacement modèle {{lien}}, article existant sur fr annuler

25 juillet 2017

• actudiff 20:0325 juillet 2017 à 20:03‎ HerculeBot discuter contributions‎ m 49 276 octets −3‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant; changements de type cosmétique annuler
• actudiff 19:2225 juillet 2017 à 19:22‎ Anne Bauval discuter contributions‎ m 49 279 octets −27‎ →‎Quelques utilisations en algèbre : màj lien annuler

23 janvier 2017

• actudiff 18:2323 janvier 2017 à 18:23‎ Anne Bauval discuter contributions‎ m 49 306 octets −72‎ rv bot + màj lien annuler
• actudiff 18:0323 janvier 2017 à 18:03‎ HerculeBot discuter contributions‎ m 49 378 octets +48‎ [Bot] : transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant; changements de type cosmétique annuler

15 janvier 2017

• actudiff 22:2415 janvier 2017 à 22:24‎ Tomo8 5 discuter contributions‎ m 49 330 octets −16‎ v1.41 - Correction syntaxique (Référence en double) annuler Balise : WPCleaner

26 novembre 2016

• actudiff 03:0126 novembre 2016 à 03:01‎ Anne Bauval discuter contributions‎ m 49 346 octets +223‎ Robin&Robin plus précis que Campbell annuler

25 novembre 2016

• actudiff 20:4025 novembre 2016 à 20:40‎ Anne Bauval discuter contributions‎ 49 123 octets −198‎ rectif + Style + mep annuler
• actudiff 18:2225 novembre 2016 à 18:22‎ Anne Bauval discuter contributions‎ 49 321 octets +123‎ →‎Démonstration par récurrence ordinale : Style + lien + précisé ref annuler

24 novembre 2016

• actudiff 23:5224 novembre 2016 à 23:52‎ Anne Bauval discuter contributions‎ 49 198 octets +405‎ ref + Zermelo ⇒ Zorn annuler
• actudiff 23:1324 novembre 2016 à 23:13‎ Anne Bauval discuter contributions‎ m 48 793 octets +215‎ →‎Démonstration par récurrence ordinale : ref annuler
• actudiff 22:5424 novembre 2016 à 22:54‎ Anne Bauval discuter contributions‎ 48 578 octets −595‎ Style + AC⇒Zermelo annuler

23 novembre 2016

• actudiff 15:1323 novembre 2016 à 15:13‎ Anne Bauval discuter contributions‎ 49 173 octets −381‎ Style (dont : chassé certains "non vide", par cohérence) + mef du lien externe récemment ajouté en note annuler
• actudiff 12:3523 novembre 2016 à 12:35‎ Anne Bauval discuter contributions‎ 49 554 octets −43‎ →‎Ensemble inductif : –"non vide" superflus annuler

5 novembre 2016

• actudiff 22:535 novembre 2016 à 22:53‎ 46.193.64.27 discuter‎ 49 597 octets −11‎ →‎Culture populaire : L'orthographe, putain... annuler Balise : Éditeur visuel

23 octobre 2016

• actudiff 18:4623 octobre 2016 à 18:46‎ Fschwarzentruber discuter contributions‎ m 49 608 octets 0‎ →‎Culture populaire annuler Balise : Éditeur visuel
• actudiff 18:4523 octobre 2016 à 18:45‎ Fschwarzentruber discuter contributions‎ 49 608 octets +272‎ →‎Théorie des ensembles annuler Balise : Éditeur visuel