Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
20 May 2024
- diffhist Peano axioms 20:36 +2 JBW talk contribs (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.)
- diffhist Peano axioms 17:10 +124 Jochen Burghardt talk contribs (→Multiplication: suggest to link own proof sheet (feel free to revert due to self-promotion))
- diffhist Peano axioms 17:00 −105 Jochen Burghardt talk contribs (→Multiplication: fix {{clarify}})
- diffhist Peano axioms 16:58 +220 Jochen Burghardt talk contribs (→Addition: indicate + commutativity proof)
- diffhist Peano axioms 09:06 +177 D.Lazard talk contribs (definition of "Peano arithmetic")