Peano axioms: Revision history

3 November 2024

• curprev 23:2523:25, 3 November 2024 2601:883:c000:2db0:686d:4f0b:7e8c:f225 talk 49,069 bytes +4 No edit summary undo Tag: Manual revert
• curprev 23:2323:23, 3 November 2024 2601:883:c000:2db0:686d:4f0b:7e8c:f225 talk 49,065 bytes −4 No edit summary undo Tag: Reverted

21 October 2024

• curprev 10:5110:51, 21 October 2024 Monkbot talk contribs m 49,069 bytes +2 Task 20: replace {lang-??} templates with {langx|??} ‹See Tfd› (Replaced 2); undo Tag: AWB

7 October 2024

• curprev 20:2120:21, 7 October 2024 JBW talk contribs 49,067 bytes −3 Reverting an unhelpful change; there was nothing wrong with the grammar. Also improving punctuation. undo

3 October 2024

• curprev 04:3004:30, 3 October 2024 ChrisSuleman talk contribs 49,070 bytes +4 Fixed grammar undo Tags: Mobile edit Mobile web edit

15 August 2024

• curprev 14:0614:06, 15 August 2024 RodRabelo7 talk contribs m 49,066 bytes 0 deprecated undo

27 June 2024

• curprev 19:0319:03, 27 June 2024 2804:18:6045:34f:17dc:dd99:1207:d300 talk 49,066 bytes −9 No edit summary undo Tag: Manual revert
• curprev 19:0219:02, 27 June 2024 2804:18:6045:34f:17dc:dd99:1207:d300 talk 49,075 bytes +9 No edit summary undo Tag: Reverted
• curprev 19:0119:01, 27 June 2024 2804:18:6045:34f:17dc:dd99:1207:d300 talk 49,066 bytes +1 No edit summary undo Tag: Manual revert
• curprev 18:5818:58, 27 June 2024 2804:18:6045:34f:17dc:dd99:1207:d300 talk 49,065 bytes −1 No edit summary undo Tag: Reverted

10 June 2024

• curprev 10:3710:37, 10 June 2024 StarButterflyIsCute talk contribs 49,066 bytes +24 added Skolem arithmetic on the See also undo

31 May 2024

• curprev 20:3520:35, 31 May 2024 2601:204:f181:9410:d914:2e17:825f:8dd4 talk 49,042 bytes +74 clarified wording in caption to illustration undo

20 May 2024

• curprev 20:3620:36, 20 May 2024 JBW talk contribs 48,968 bytes +2 Reverting an unexplained change. The text ot this section of the article is about a historical formulation, i.e., one from the past: see wording such as "When Peano formulated his axioms, the language of mathematical logic was in its infancy", "Peano's original formulation", etc. This original second-order formulation is contrasted with the later first-order formulation; hence it is a historical formulation. Some may also regard it as historic, but nothing in the text of this section says so. undo
• curprev 17:1017:10, 20 May 2024 Jochen Burghardt talk contribs 48,966 bytes +124 →Multiplication: suggest to link own proof sheet (feel free to revert due to self-promotion) undo
• curprev 17:0017:00, 20 May 2024 Jochen Burghardt talk contribs 48,842 bytes −105 →Multiplication: fix {{clarify}} undo
• curprev 16:5816:58, 20 May 2024 Jochen Burghardt talk contribs 48,947 bytes +220 →Addition: indicate + commutativity proof undo
• curprev 09:0609:06, 20 May 2024 D.Lazard talk contribs 48,727 bytes +177 definition of "Peano arithmetic" undo

8 May 2024

• curprev 19:5319:53, 8 May 2024 AnomieBOT talk contribs m 48,550 bytes +42 Dating maintenance tags: {{Cn}} {{Improve references}} {{Clarify}} undo
• curprev 19:3319:33, 8 May 2024 Janhrach talk contribs 48,508 bytes +23 →Historic second-order formulation: Improve references undo Tags: Mobile edit Mobile web edit
• curprev 19:1819:18, 8 May 2024 Janhrach talk contribs 48,485 bytes +124 →Multiplication: Clarify undo Tags: Mobile edit Mobile web edit
• curprev 19:1419:14, 8 May 2024 Janhrach talk contribs 48,361 bytes +6 →Addition: cn undo Tags: Mobile edit Mobile web edit

11 February 2024

• curprev 08:5608:56, 11 February 2024 FatalSubjectivities talk contribs 48,355 bytes −2 →Historical second-order formulation: historical --> historic undo

17 January 2024

• curprev 19:1019:10, 17 January 2024 Inaccessible cardinal talk contribs m 48,357 bytes −65 No edit summary undo

5 January 2024

• curprev 22:2422:24, 5 January 2024 JBW talk contribs 48,422 bytes −48 Removing wording which doesn't seem to be supported by any cited source, and the intended significance of which is unclear undo

30 December 2023

• curprev 19:1119:11, 30 December 2023 PicoMath talk contribs 48,470 bytes +1 No edit summary undo Tag: Undo
• curprev 19:1119:11, 30 December 2023 PicoMath talk contribs 48,469 bytes −1 for -> of undo Tags: Reverted Visual edit

29 December 2023

• curprev 08:5908:59, 29 December 2023 Meef4H talk contribs 48,470 bytes +56 Change "need" to ~ important+can. Just because we can formalize arithmetic doesn't mean we needed to. undo Tag: Visual edit

24 December 2023

• curprev 12:5712:57, 24 December 2023 2603:8001:9301:d134:d9cd:611b:5646:7c23 talk 48,414 bytes +35 →Consistency undo
• curprev 06:4306:43, 24 December 2023 Miladragon3 talk contribs 48,379 bytes +5 →Historical second-order formulation: Phrasing undo Tags: Mobile edit Mobile web edit

22 December 2023

• curprev 09:2909:29, 22 December 2023 KarlFrei talk contribs 48,374 bytes +879 Reverted 1 edit by Meef4H (talk): I don't think this is total nonsense. Perhaps the editor did not understand the paragraph. undo Tags: Twinkle Undo
• curprev 01:0901:09, 22 December 2023 Meef4H talk contribs 47,495 bytes −879 Remove total nonsense paragraph. undo Tags: Reverted Visual edit

18 December 2023

• curprev 09:2809:28, 18 December 2023 Jochen Burghardt talk contribs 48,374 bytes +83 →Historical second-order formulation: for sake of clarification, repeat the explanations from DeVos / Diaz; see next note for an explanations how which axioms are satisfied undo

17 December 2023

• curprev 22:0022:00, 17 December 2023 146.200.71.116 talk 48,291 bytes +30 Add clarify template. The caption makes no attempt to clarify how these dominoes represent 'N' or how that relates to the Peano Axioms, thus the claims in the caption and the image of the dominoes appear to be a non sequitur. undo

30 November 2023

• curprev 02:5502:55, 30 November 2023 Trovatore talk contribs 48,261 bytes −85 →Historical second-order formulation: that is not in fact the modern notation for implication. It's more the Frege-Russell era notation. The modern notation is a (single or double) right arrow. undo

6 November 2023

• curprev 18:1518:15, 6 November 2023 AnomieBOT talk contribs m 48,346 bytes −98 Substing templates: {{Format ISBN}}. See User:AnomieBOT/docs/TemplateSubster for info. undo
• curprev 17:5017:50, 6 November 2023 Trappist the monk talk contribs m 48,444 bytes +105 cite repair; undo Tag: AWB

22 September 2023

• curprev 12:4312:43, 22 September 2023 Jochen Burghardt talk contribs 48,339 bytes −23 →top: rm excessive links undo
• curprev 11:1511:15, 22 September 2023 Sheila1988 talk contribs 48,362 bytes +169 PRON undo

2 September 2023

• curprev 12:2712:27, 2 September 2023 Marc Schroeder talk contribs m 48,193 bytes +9 →Sources undo
• curprev 12:2312:23, 2 September 2023 Marc Schroeder talk contribs m 48,184 bytes +384 added a ref, fixed an error, but could not find the remaining (hidden) script warning undo

30 August 2023

• curprev 20:5920:59, 30 August 2023 Citation bot talk contribs 47,800 bytes +61 Alter: title, template type. Add: chapter. | Use this bot. Report bugs. | Suggested by Anas1712 | #UCB_webform 965/2716 undo

27 June 2023

• curprev 17:4917:49, 27 June 2023 Jochen Burghardt talk contribs 47,739 bytes −46 →top: mv link to Latin name undo
• curprev 12:0212:02, 27 June 2023 2804:2894:f0e8:fc00:6c63:5d39:91f4:1b3b talk 47,785 bytes −1 No edit summary undo

16 June 2023

• curprev 21:5421:54, 16 June 2023 77.119.216.198 talk 47,786 bytes −6 →Equivalent axiomatizations undo
• curprev 21:5021:50, 16 June 2023 77.119.216.198 talk 47,792 bytes +76 →Equivalent axiomatizations: Labels undo
• curprev 21:4621:46, 16 June 2023 77.119.216.198 talk 47,716 bytes −4 →Equivalent axiomatizations: Add link and state incompleteness from the Kaye reference undo

23 May 2023

• curprev 16:3316:33, 23 May 2023 Jochen Burghardt talk contribs 47,720 bytes +3 Undid revision 1156463629 by 108.41.98.105 (talk) undo Tag: Undo
• curprev 00:2600:26, 23 May 2023 108.41.98.105 talk 47,717 bytes −3 →Historical second-order formulation: replaced 0 with 1 undo Tag: Reverted

14 March 2023

• curprev 04:3104:31, 14 March 2023 Citation bot talk contribs 47,720 bytes +1 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

6 January 2023

• curprev 22:0122:01, 6 January 2023 Jochen Burghardt talk contribs 47,719 bytes +2 No edit summary undo Tag: Undo