« Récurrence transfinie » : historique des versions

30 mars 2022

• actudiff 18:5830 mars 2022 à 18:58‎ WikiCleanerBot discuter contributions‎ m 13 496 octets −9‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie) annuler Balise : WPCleaner

18 août 2021

• actudiff 04:5418 août 2021 à 04:54‎ OrlodrimBot discuter contributions‎ m 13 505 octets −44‎ Remplacement de {{Lien}} par un lien interne, suite à la création de l'article correspondant annuler

4 juillet 2021

• actudiff 20:504 juillet 2021 à 20:50‎ Jules* discuter contributions‎ m 13 549 octets −4‎ Coquille : mot en double. annuler Balise : AWB

19 mai 2021

• actudiff 17:0319 mai 2021 à 17:03‎ Dfeldmann discuter contributions‎ m 13 553 octets +4‎ →‎Ordinal : D'un autre côté, si on met pas de lien interne, pas étonnant que les gens se trompent... annuler Balise : Éditeur visuel
• actudiff 17:0119 mai 2021 à 17:01‎ 2a04:cec0:117f:6ba4:28c5:f7be:334a:70eb discuter‎ 13 549 octets +10‎ je parle de cette transitivité là: A est transitif si chaqu'un de ses éléments lui est inclus. annuler Balise : Annulation
• actudiff 16:5919 mai 2021 à 16:59‎ Dfeldmann discuter contributions‎ m 13 539 octets −10‎ BHen non, si la relation d'appartenance est un bon ordre, c'est un ordre, donc une ralation transitive...Annulation de la modification de 2A04:CEC0:117F:6BA4:28C5:F7BE:334A:70EB (d) annuler Balise : Annulation
• actudiff 16:4719 mai 2021 à 16:47‎ 2a04:cec0:117f:6ba4:28c5:f7be:334a:70eb discuter‎ 13 549 octets +10‎ Vous avez oublié de rajouter que l'ensemble doit être transitif. annuler Balise : Révoqué
• actudiff 16:1319 mai 2021 à 16:13‎ Proz discuter contributions‎ 13 539 octets +601‎ on va quand même conserver la définition directe (et habituelle) de bon ordre + les ordinaux sont définis par le lien + relations comme classes annuler
• actudiff 14:4019 mai 2021 à 14:40‎ 2a04:cec0:117f:6ba4:28c5:f7be:334a:70eb discuter‎ 12 938 octets −240‎ l'article est truffé d'erreurs. L'auteur n'est pas raisonable et refuse d'entendre raison. annuler Balise : Éditeur visuel
• actudiff 14:2619 mai 2021 à 14:26‎ Proz discuter contributions‎ 13 178 octets −354‎ →‎Sur la classe des ordinaux : détails hors sujet, renvoi à nombre ordinal et paradoxe de Burali-Forti annuler
• actudiff 14:0319 mai 2021 à 14:03‎ Dfeldmann discuter contributions‎ m 13 532 octets +388‎ Non, passez en page de discussion : vous cassez les liens internes, et sans être faux, ce que vous dites se limite à ZF, ce qui n'est pas forcément assez général (cf ,a définition des ordinaux dans l'aricle Nombre ordinal) Annulation de la modification de 2A04:CEC0:117F:6BA4:28C5:F7BE:334A:70EB (d) annuler Balise : Annulation
• actudiff 13:1719 mai 2021 à 13:17‎ 2a04:cec0:117f:6ba4:28c5:f7be:334a:70eb discuter‎ 13 144 octets −388‎ S'il vous plait, cessez d'annuler ma modification, mes corrections sont valides. Merci annuler Balises : Annulation Révoqué
• actudiff 12:4619 mai 2021 à 12:46‎ Dfeldmann discuter contributions‎ m 13 532 octets +388‎ Passez en page de discussion, mais par exemple, un paragraphe " '''ensemble''' bien ordonné" implique que la relation de bon ordre sur E est définie comme un sous-ensemble du produit cartésien ExE Annulation de la modification de 2A04:CEC0:117F:6BA4:28C5:F7BE:334A:70EB (d) annuler Balise : Annulation
• actudiff 11:5219 mai 2021 à 11:52‎ 2a04:cec0:117f:6ba4:28c5:f7be:334a:70eb discuter‎ 13 144 octets −388‎ Annulation de la modification de Dfeldmann (d) annuler Balises : Annulation Révoqué
• actudiff 08:4519 mai 2021 à 08:45‎ Dfeldmann discuter contributions‎ m 13 532 octets +388‎ Sans qu'il s'agisse de vandalisme, ces ajouts et corrections dégradent fortement l'article... (perte de liens internes, définissions douteuses) annuler Balise : Annulation
• actudiff 02:4519 mai 2021 à 02:45‎ 87.88.166.95 discuter‎ 13 144 octets +44‎ →‎Sur la classe des ordinaux annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:4019 mai 2021 à 02:40‎ 87.88.166.95 discuter‎ 13 100 octets −12‎ →‎Sur la classe des ordinaux annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:3919 mai 2021 à 02:39‎ 87.88.166.95 discuter‎ 13 112 octets −6‎ →‎Sur la classe des ordinaux : Syntaxe annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:3819 mai 2021 à 02:38‎ 87.88.166.95 discuter‎ 13 118 octets +47‎ →‎Sur la classe des ordinaux : Mauvaise définition pour la notion de classe, j'ai corrigé cela. annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:3519 mai 2021 à 02:35‎ 87.88.166.95 discuter‎ 13 071 octets −173‎ →‎Sur la classe des ordinaux annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:2519 mai 2021 à 02:25‎ 87.88.166.95 discuter‎ 13 244 octets −273‎ →‎Ensemble bien ordonné : La définition de bon ordre était erronée, j'ai corrigé cela. annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:1819 mai 2021 à 02:18‎ 87.88.166.95 discuter‎ 13 517 octets 0‎ →‎Ordinal : Faute d'orthographe. annuler Balises : Révoqué Modification par mobile Modification par le web mobile
• actudiff 02:1619 mai 2021 à 02:16‎ 87.88.166.95 discuter‎ 13 517 octets −15‎ →‎Ordinal : La définition des ordinaux était erronée, j'ai corrigé cela annuler Balises : Révoqué Modification par mobile Modification par le web mobile

11 janvier 2021

• actudiff 14:4011 janvier 2021 à 14:40‎ WikiCleanerBot discuter contributions‎ m 13 532 octets +4‎ v2.04b - Correction syntaxique (Modèle avec paramètre obsolète) annuler Balise : WPCleaner

3 mars 2019

• actudiff 10:003 mars 2019 à 10:00‎ DSisyphBot discuter contributions‎ m 13 528 octets −13‎ Bot, transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant annuler

23 mars 2018

• actudiff 02:3823 mars 2018 à 02:38‎ DSisyphBot discuter contributions‎ m 13 541 octets −5‎ Bot, transformation de liens avec le modèle {{Lien}} en lien interne, suite à la création de l'article correspondant annuler

9 décembre 2017

• actudiff 14:139 décembre 2017 à 14:13‎ HerculeBot discuter contributions‎ m 13 546 octets +16‎ [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

16 juin 2017

• actudiff 10:3416 juin 2017 à 10:34‎ Theon discuter contributions‎ 13 530 octets −2‎ →‎Définition par récurrence transfinie : lien direct annuler

3 mai 2017

• actudiff 19:443 mai 2017 à 19:44‎ PIerre.Lescanne discuter contributions‎ 13 532 octets +9‎ →‎Bibliographie annuler

25 novembre 2016

• actudiff 17:4425 novembre 2016 à 17:44‎ Anne Bauval discuter contributions‎ 13 523 octets +300‎ →‎Définition par récurrence transfinie : Définition par récurrence sur un bon ordre, sans l'axiome de remplacement annuler

20 novembre 2016

• actudiff 03:2120 novembre 2016 à 03:21‎ Anne Bauval discuter contributions‎ m 13 223 octets 0‎ homogénéité notation + OK Proz annuler

17 novembre 2016

• actudiff 05:5317 novembre 2016 à 05:53‎ Anne Bauval discuter contributions‎ 13 223 octets −124‎ →‎Démonstration par récurrence transfinie : plus clair annuler

7 novembre 2016

• actudiff 23:597 novembre 2016 à 23:59‎ Else If Then discuter contributions‎ m 13 347 octets −22‎ lien annuler

31 octobre 2016

• actudiff 12:4531 octobre 2016 à 12:45‎ Anne Bauval discuter contributions‎ m 13 369 octets +1 016‎ fignolages + vocabulaire + refs (pas George David Birkhoff mais Garrett Birkhoff, mais pas la peine) annuler
• actudiff 04:5231 octobre 2016 à 04:52‎ Dfeldmann discuter contributions‎ m 12 353 octets −3‎ Annulation des modifications 131268940 de Dfeldmann (d)non, en fait, la redirection justifie ce choix annuler
• actudiff 04:5031 octobre 2016 à 04:50‎ Dfeldmann discuter contributions‎ m 12 356 octets −5‎ →‎Démonstration par récurrence transfinie annuler
• actudiff 03:3831 octobre 2016 à 03:38‎ Anne Bauval discuter contributions‎ m 12 361 octets −8‎ →‎Démonstration par récurrence transfinie : pub annuler
• actudiff 03:2931 octobre 2016 à 03:29‎ Anne Bauval discuter contributions‎ 12 369 octets +33‎ →‎Définition par récurrence transfinie : pub annuler

30 octobre 2016

• actudiff 17:0730 octobre 2016 à 17:07‎ Anne Bauval discuter contributions‎ m 12 336 octets 0‎ →‎Définition par récurrence sur un ordinal pour une classe fonctionnelle : lien sur 1e occurrence annuler
• actudiff 17:0530 octobre 2016 à 17:05‎ Anne Bauval discuter contributions‎ 12 336 octets +298‎ →‎Définition par récurrence sur un ordinal pour une classe fonctionnelle : réparé ma grosse bêtise + mieux expliqué pourquoi il faut bien le remplacement annuler
• actudiff 02:5030 octobre 2016 à 02:50‎ Anne Bauval discuter contributions‎ 12 038 octets −452‎ →‎Définition par récurrence transfinie : Style + rectif : le schéma de remplacement n'est nécessaire que dans la dernière sous-section annuler

29 octobre 2016

• actudiff 04:1329 octobre 2016 à 04:13‎ Anne Bauval discuter contributions‎ 12 490 octets −696‎ →‎Démonstration par récurrence transfinie : délestage dans Récurrence bien fondée annuler

27 septembre 2016

• actudiff 23:2827 septembre 2016 à 23:28‎ Ayme-bou discuter contributions‎ m 13 186 octets +164‎ →‎Bibliographie : Rajout d'un lien externe vers un exempls annuler Balise : Éditeur visuel

22 juillet 2016

• actudiff 14:1822 juillet 2016 à 14:18‎ SniperMaské discuter contributions‎ m 13 022 octets +4‎ →‎Récurrence noethérienne ou bien fondée : syntaxe + nettoyage annuler
• actudiff 14:1722 juillet 2016 à 14:17‎ SniperMaské discuter contributions‎ m 13 018 octets +5‎ syntaxe + wikif. annuler

18 septembre 2015

• actudiff 16:5218 septembre 2015 à 16:52‎ Poulos discuter contributions‎ m 13 013 octets +22‎ Restauration des ancres brisées annuler

1 août 2014

• actudiff 03:141 août 2014 à 03:14‎ Scrabble discuter contributions‎ m 12 991 octets +1‎ →‎Définition par récurrence sur la classe des ordinaux : ponctuation annuler
• actudiff 03:121 août 2014 à 03:12‎ Scrabble discuter contributions‎ m 12 990 octets +6‎ →‎Définition par récurrence sur un ordinal pour une classe fonctionnelle : <br /> annuler

16 juin 2014

• actudiff 11:1416 juin 2014 à 11:14‎ Anne Bauval discuter contributions‎ 12 984 octets −612‎ simplif annuler

23 avril 2014

• actudiff 07:3323 avril 2014 à 07:33‎ Dfeldmann discuter contributions‎ m 13 596 octets −273‎ Annulation des modifications 103137482 de 90.21.137.123 (d) annuler