« Axiomes de Peano » : historique des versions

6 mars 2024

• actudiff 19:276 mars 2024 à 19:27‎ AdaHephais discuter contributions‎ 18 479 octets +31‎ Lien interne annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

29 octobre 2023

• actudiff 18:2729 octobre 2023 à 18:27‎ 2a02:8440:b157:f495:7929:b69a:748c:c68b discuter‎ 18 448 octets +8‎ Aucun résumé des modifications annuler

4 avril 2023

• actudiff 16:154 avril 2023 à 16:15‎ D Cat laz discuter contributions‎ 18 440 octets +32‎ Ajout palette annuler Balise : Éditeur visuel

27 mars 2023

• actudiff 21:4427 mars 2023 à 21:44‎ 92.91.8.69 discuter‎ 18 408 octets −9‎ changement d'une photo annuler Balise : Éditeur visuel

15 février 2023

• actudiff 21:4215 février 2023 à 21:42‎ 70.35.208.170 discuter‎ 18 417 octets 0‎ →‎Bibliographie : Correction d'un coquille : remplacement de «pas » par «par» dans l'expression : «exposés par une nouvelle méthode» annuler Balise : Éditeur visuel

9 février 2023

• actudiff 20:199 février 2023 à 20:19‎ Csar62 discuter contributions‎ m 18 417 octets +154‎ Révocation des modifications de 31.205.116.33 (retour à la dernière version de MarcT0K) annuler Balise : Révocation
• actudiff 20:149 février 2023 à 20:14‎ 31.205.116.33 discuter‎ 18 263 octets −154‎ →‎Axiomes annuler Balises : Révoqué Modification par mobile Modification par le web mobile

3 février 2023

• actudiff 10:573 février 2023 à 10:57‎ MarcT0K discuter contributions‎ 18 417 octets +64‎ Fonctionnalité de suggestion d’images : 1 image ajoutée. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des images

30 janvier 2023

• actudiff 11:1030 janvier 2023 à 11:10‎ MarcT0K discuter contributions‎ 18 353 octets +27‎ Fonctionnalité de suggestions de liens : 3 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

11 septembre 2022

• actudiff 13:2611 septembre 2022 à 13:26‎ 2a02:8440:3441:d674:d03:5169:e12:8ca2 discuter‎ 18 326 octets −1‎ →‎Ouvrages historiques : Faute de frappe annuler Balise : Éditeur visuel
• actudiff 13:2511 septembre 2022 à 13:25‎ 2a02:8440:3441:d674:d03:5169:e12:8ca2 discuter‎ 18 327 octets +5‎ →‎Ouvrages historiques : nova methodo est un ablatif de moyen et "exposita" un adjectif neutre pluriel qui s'accorde avec "principia" annuler Balise : Éditeur visuel

29 mars 2022

• actudiff 16:2229 mars 2022 à 16:22‎ WikiCleanerBot discuter contributions‎ m 18 322 octets −19‎ v2.04b - Correction syntaxique (Espace insécable - Orthographe et typographie) annuler Balise : WPCleaner

22 mars 2022

• actudiff 02:5422 mars 2022 à 02:54‎ Kirham discuter contributions‎ m 18 341 octets +2 740‎ Révocation des modifications de 92.152.237.233 (retour à la dernière version de Lf(Lx(f)(x)x)Lx(f)(x)x) Balise : Révocation
• actudiff 02:3722 mars 2022 à 02:37‎ 92.152.237.233 discuter‎ 15 601 octets −2 740‎ Aucun résumé des modifications Balises : Révoqué Suppression de références Éditeur visuel

24 février 2022

• actudiff 01:0024 février 2022 à 01:00‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 18 341 octets −109‎ Annulation de la modification de Verbex (d) Non, la crise des fondements concerne des paradoxes dont celui de Russell qui met à bas le projet de Frege de fonder l'arithmétique sur la logique. Les axiomes de Peano ne sont pas concernés annuler Balise : Annulation

23 février 2022

• actudiff 23:5323 février 2022 à 23:53‎ Verbex discuter contributions‎ 18 450 octets +109‎ précision en intro annuler Balise : Révoqué

11 décembre 2021

• actudiff 19:0311 décembre 2021 à 19:03‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 18 341 octets −1‎ Annulation de la modification de 81.66.109.236 (d) cela dit juste : x + (y +1) = (x+y) + 1 annuler Balise : Annulation
• actudiff 18:2511 décembre 2021 à 18:25‎ 81.66.109.236 discuter‎ 18 342 octets +1‎ →‎Arithmétique de Peano : Correction d'une coquille annuler Balise : Éditeur visuel

26 août 2021

• actudiff 04:4826 août 2021 à 04:48‎ LilyKitty discuter contributions‎ 18 341 octets +27‎ sur la programme de Hilbert annuler

16 août 2021

• actudiff 17:1316 août 2021 à 17:13‎ Franky007 discuter contributions‎ 18 314 octets +10‎ lien annuler

12 juillet 2021

• actudiff 10:5612 juillet 2021 à 10:56‎ Proz discuter contributions‎ 18 304 octets −126‎ Annulation de la modification de Saurabh1204 (d) : pourrait illustrer l'indépendance de la récurrence vis à vis des autres axiomes, mais aucun sens ainsi annuler Balise : Annulation
• actudiff 07:5012 juillet 2021 à 07:50‎ Saurabh1204 discuter contributions‎ m 18 430 octets +126‎ amélioré l'article avec une image #WPWP annuler Balise : Révoqué

27 avril 2021

• actudiff 22:0127 avril 2021 à 22:01‎ CodexBot discuter contributions‎ m 18 304 octets −6‎ bot [1.0] 📗 Amélioration bibliographique 5x : ±lien auteur1,±numéro d'édition,±… annuler

20 avril 2021

• actudiff 14:5220 avril 2021 à 14:52‎ Proz discuter contributions‎ m 18 310 octets 0‎ →‎Existence et unicité : italiques mal placées (sinon c'est cette version qui est correcte) annuler
• actudiff 14:4720 avril 2021 à 14:47‎ 2a02:8440:2141:302a:80:e588:f866:359e discuter‎ 18 310 octets +13‎ →‎Existence et unicité : cf discussion restriction de l'injectivité du successeur au cas des entiers annuler Balise : Éditeur visuel
• actudiff 13:2220 avril 2021 à 13:22‎ Lf(Lx(f)(x)x)Lx(f)(x)x discuter contributions‎ 18 297 octets −24‎ Annulation de la modification de 2A02:8440:2441:ADE1:F476:E25C:CDA4:39D0 (d) voyez les axiomes indiqués dans les 2 premières sections de l'article et la pdd annuler Balise : Annulation
• actudiff 13:1120 avril 2021 à 13:11‎ 2a02:8440:2441:ade1:f476:e25c:cda4:39d0 discuter‎ 18 321 octets +24‎ →‎Existence et unicité : Le successeur n'est injectif que sur l'ensemble N (ou les ordinaux de Von Neummann). annuler Balise : Éditeur visuel

2 avril 2021

• actudiff 17:512 avril 2021 à 17:51‎ 173.179.31.209 discuter‎ 18 297 octets −1‎ →‎Arithmétique de Peano : Erreur de correction L annuler Balises : Révocation manuelle Modification par mobile Modification par le web mobile
• actudiff 17:442 avril 2021 à 17:44‎ 173.179.31.209 discuter‎ 18 298 octets +1‎ →‎Arithmétique de Peano : Il manque un s en avant du x pour que la distributivité soit possible. x + sy != s(x + y) pour tout x, y annuler Balises : Révoqué Modification par mobile Modification par le web mobile

27 mai 2020

• actudiff 16:1327 mai 2020 à 16:13‎ Rartroz discuter contributions‎ 18 297 octets −57‎ Annulation de la modification de 217.74.110.125 (d) Rien à faire dans l'article, vous pouvez en revanche poser vos questions sur la page de discussion annuler Balise : Annulation
• actudiff 16:0127 mai 2020 à 16:01‎ 217.74.110.125 discuter‎ 18 354 octets +57‎ →‎Arithmétique de Peano annuler Balise : Éditeur visuel

5 avril 2020

• actudiff 20:535 avril 2020 à 20:53‎ 2a01:cb00:236:f300:78dc:72ce:ff22:47c4 discuter‎ 18 297 octets 0‎ →‎Arithmétique de Peano annuler
• actudiff 20:525 avril 2020 à 20:52‎ 2a01:cb00:236:f300:78dc:72ce:ff22:47c4 discuter‎ 18 297 octets 0‎ →‎Arithmétique de Peano annuler

6 mars 2020

• actudiff 12:276 mars 2020 à 12:27‎ 176.159.47.17 discuter‎ 18 297 octets −13‎ →‎Cohérence : typo (copier/coller malheureux?) annuler

16 janvier 2020

• actudiff 12:4816 janvier 2020 à 12:48‎ 129.20.220.19 discuter‎ 18 310 octets +1‎ →‎Exosés modernes : faute de frappe dans le titre annuler

8 janvier 2020

• actudiff 19:128 janvier 2020 à 19:12‎ Proz discuter contributions‎ m 18 309 octets +34‎ →‎Ouvrages historiques : orth. annuler
• actudiff 19:108 janvier 2020 à 19:10‎ Proz discuter contributions‎ 18 275 octets +398‎ + section bibliographie (articles originaux, ouvrage de référence) annuler
• actudiff 18:238 janvier 2020 à 18:23‎ Proz discuter contributions‎ 17 877 octets −409‎ →‎Arithmétique de Peano : non détaillée en fait (heureusement), la remarque est trop mineure (ce serait moins "modulaire", la version avec successeur est au minimum très usuelle) annuler
• actudiff 18:208 janvier 2020 à 18:20‎ Proz discuter contributions‎ m 18 286 octets −7‎ plus adéquat annuler
• actudiff 18:178 janvier 2020 à 18:17‎ Proz discuter contributions‎ 18 293 octets +745‎ →‎Existence et unicité : précision annuler
• actudiff 17:598 janvier 2020 à 17:59‎ Proz discuter contributions‎ 17 548 octets −97‎ →‎Arithmétique de Peano : relecture annuler
• actudiff 17:538 janvier 2020 à 17:53‎ Proz discuter contributions‎ 17 645 octets +13‎ →‎Arithmétique de Peano : lang annuler
• actudiff 04:168 janvier 2020 à 04:16‎ JackBot discuter contributions‎ m 17 632 octets +17‎ Formatage, traduction des modèles de liens annuler

7 janvier 2020

• actudiff 20:407 janvier 2020 à 20:40‎ Proz discuter contributions‎ 17 615 octets +373‎ retrait de structure de Dedekind-Peano (vieux TI issu de en: et abandonné là-bas) et autres annuler
• actudiff 20:077 janvier 2020 à 20:07‎ Proz discuter contributions‎ 17 242 octets +1 114‎ →‎Arithmétique de Peano : 1/ une référence pour non finiment axiomatisable ; 2/ précision pour "en modifiant le langage", c'est du standard (ref. un livre de reverse math ?) annuler
• actudiff 10:447 janvier 2020 à 10:44‎ Xavier Combelle discuter contributions‎ m 16 128 octets +1‎ Coquilles corrigées annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application iOS
• actudiff 10:437 janvier 2020 à 10:43‎ Xavier Combelle discuter contributions‎ 16 127 octets −105‎ Aucun résumé des modifications annuler Balises : Modification par mobile Modification par application mobile Modification avec l’application iOS

10 décembre 2019

• actudiff 18:4210 décembre 2019 à 18:42‎ Vraiment-personne discuter contributions‎ m 16 232 octets −8‎ →‎Axiomes annuler

7 juin 2019

• actudiff 15:437 juin 2019 à 15:43‎ 207.107.68.234 discuter‎ 16 240 octets +1‎ →‎Opérations et ordre annuler Balise : Éditeur visuel
• actudiff 15:437 juin 2019 à 15:43‎ 207.107.68.234 discuter‎ 16 239 octets +1‎ →‎Opérations et ordre annuler Balise : Éditeur visuel