Related changes

28 May 2025

• diffhist Image (mathematics) 00:00 0 172.56.169.180 talk (→Properties) Tag: Manual revert

27 May 2025

• diffhist Image (mathematics) 23:57 0 172.56.169.180 talk (→General) Tag: Reverted
• diffhist Cardinality 21:10 −218 Trovatore talk contribs (the statements in the article are true in the ordinary interpretation, which is not about a specific formal theory. There should be some acknowledgment of other possibilities (especially models of &lnot;AC); how to do that needs thought, but this isn't it)
• diffhist m Cardinality 21:02 +19 Farkle Griffen talk contribs (Fixed DAB link) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Euclid's Elements 20:55 0 Psychastes talk contribs (fix harv errors)
• diffhist Cardinality 20:18 +5 Trovatore talk contribs (→Introduction: "rule" connotes definability, which is not intended here)
• diffhist m Cardinality 20:15 −3 Arjayay talk contribs (Duplicate word removed)
• diffhist Rational number 17:42 +167 AnomieBOT talk contribs (Rescuing orphaned refs (":1" from rev 1292559158))
• diffhist m Rational number 17:17 0 Anita5192 talk contribs (ce: nonsero → nonzero in the lead)
• diffhist Rational number 16:44 −545 D.Lazard talk contribs (→top: This formal constriction does not belong to the lead)
• diffhist Rational number 16:42 +179 D.Lazard talk contribs (minor ce)
• diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
• diffhist Rational number 16:07 +39 D.Lazard talk contribs (Reverted 1 edit by GreatFireBoyPranav (talk): Unexplained removal of content) Tags: Twinkle Undo
• diffhist m Rational number 16:00 −39 GreatFireBoyPranav talk contribs Tags: Reverted Visual edit Mobile edit Mobile web edit
• diffhist Cardinality 14:45 −16 Jochen Burghardt talk contribs (→top: it doesn't follow logically)
• diffhist Tarski's axiomatization of the reals 12:21 +62 WeyerStudentOfAgrippa talk contribs (Adding short description: "Second-order theory of the real numbers") Tag: Shortdesc helper
• diffhist m Axiomatic system 01:11 −1 SociableFish talk contribs (Fixed more typos) Tag: Visual edit
• diffhist m Axiomatic system 01:11 +3 SociableFish talk contribs (Fixed typo) Tag: Visual edit
• diffhist m Cardinality 00:40 +71 Farkle Griffen talk contribs (→Uncountable sets: Hatnote link to "Cardinality of the continuum") Tag: Visual edit: Switched
• diffhist Cardinality 00:34 +1,081 Farkle Griffen talk contribs (→Comparing sets: Added some prerequisite terminology.) Tags: Visual edit Disambiguation links added

26 May 2025

• diffhist Natural deduction 18:40 +2,098 Marc Schroeder talk contribs (added Suppes–Lemmon proofs of (i) ¬¬(p ∨ ¬p) and (ii) (p ∨ ¬p))
• diffhist Cardinality 15:15 +13 D.Lazard talk contribs (Undid revision 1292344339 by Fgnievinski (talk) Using template {{hatnote}} for an important user warning does not mean that it is a WP:hanote, if not at the top of the article neither at the top of a section) Tag: Undo
• diffhist Category theory 14:21 −36 Tea2min talk contribs (Undid revision 1292269643 by Roscroft (talk): These uses of redirects instead of piped links are intentional and conventional. See MOS:NOPIPE and WP:INTDABLINK.) Tags: Undo Disambiguation links added
• diffhist Foundations of mathematics 14:07 −99 Fgnievinski talk contribs (→top)
• diffhist Russell's paradox 14:05 +2 Fgnievinski talk contribs
• diffhist Cardinality 14:00 −13 Fgnievinski talk contribs (WP:LEGITHAT) Tag: Reverted
• diffhist Computability theory 07:19 −20 David Eppstein talk contribs (→References: isbn goes to a 1972 reprint from Wolters-Noordhoff, but explaining the history of dutch academic publisher mergers that led to that would be more trouble than it's worth)
• diffhist Equality (mathematics) 05:39 +11 TurboSuperA+ talk contribs (→History: c/e)
• diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
• diffhist Cardinality 02:25 +404 Farkle Griffen talk contribs (→Other contributors: Added ref) Tag: Visual edit
• diffhist Empty set 02:12 0 173.79.19.248 talk (→Topology: LQ)
• diffhist Kurt Gödel 00:59 −22 AlsoWukai talk contribs (ce) Tag: Visual edit

25 May 2025

• diffhist Cardinality 23:59 +356 Farkle Griffen talk contribs (→Georg Cantor: Included his view of cardinality as an abstraction from sets) Tag: Visual edit
• diffhist m Mathematics 22:50 +1 PlatinumGalaxy talk contribs (→Social sciences: Grammar and missing "and") Tag: Visual edit
• diffhist Naive set theory 22:32 +519 Paolo Lipparini talk contribs (various fixes; in particular an inconsistent theory proves everything (including all statements which can be interpreted as asserting its consistency!); probably many more things to be fixed|)
• diffhist m Cardinality 22:10 −1 Willondon talk contribs (→Other contributors: spelling)
• diffhist m Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
• diffhist Cardinality 21:20 +171 Farkle Griffen talk contribs (→Other contributors: Added some detail and clarification) Tag: Visual edit
• diffhist Cardinality 20:53 +161 Farkle Griffen talk contribs (→Georg Cantor: Mentioned Cantor's Theorem) Tag: Visual edit
• diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
• Page curation log 20:06 Suonii180 talk contribs marked the redirect Axiom of projective determinacy as reviewed Tag: PageTriage
• diffhist Natural deduction 18:34 +3,898 Marc Schroeder talk contribs (corrected 2 examples of Suppes–Lemmon proofs; added a reference to Fitch-style notation; added an intro to Suppes–Lemmon)
• diffhist Cardinality 18:30 −1,765 Farkle Griffen talk contribs (→Georg Cantor: Major trimming. Making more room for more detail.) Tag: Visual edit
• diffhist Axiom of projective determinacy 17:40 +24 Jeffrey34555 talk contribs (Redirecting to Projective determinacy as part of post-round robin cleanup using Move+) Tag: Redirect target changed
• Move log 17:40 Jeffrey34555 talk contribs moved page Axiom of projective determinacy to Projective determinacy without leaving a redirect (Moved, as an uncontested technical request, per Special:Permalink/1291087551#Requested move 11 May 2025 via a round robin using Move+)
• diffhist Module:Portal/images/m 11:09 +264 Hike395 talk contribs (dark mode edits: mark as dark-on-white)
• diffhist Cardinality 09:50 −4 Jochen Burghardt talk contribs (→top: rm definite article, since there are many notions of size)
• diffhist Logicism 04:11 +65 Seananony talk contribs (→top: correction, spelling out pm) Tags: Mobile edit Mobile app edit Android app edit App full source
• diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
• diffhist m Material conditional 02:32 0 Marc Schroeder talk contribs (→Syntactical properties)