Related changes

27 May 2025

• diffhist Law of noncontradiction 16:29 −3 2001:4958:323e:4401:dcd9:f9f:1028:9ad9 talk
• diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
• diffhist Law of noncontradiction 16:05 +31 Wajhrs talk contribs
• diffhist m Fast-growing hierarchy 15:42 +2 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: 179-198 → 179–198) Tag: AWB
• diffhist Law of noncontradiction 15:33 +8 Wajhrs talk contribs
• diffhist Law of noncontradiction 15:29 +8 2607:fea8:3fa0:c00:5c2b:7f26:e4b:f366 talk
• 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 Equinumerosity 19:23 +91 Farkle Griffen talk contribs (Added merge proposal template) Tags: Unexpected #REDIRECT markup Visual edit
• 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 Subtyping 11:15 0 2a00:23c8:f506:3201:72b7:8b4f:6243:f1c5 talk (The whole point of coercive subtyping is to be explicit on the use of subtyping (via the coercion functions, as explained in the rest of the paragraph). This was likely a typo, but a very confusing one.)
• diffhist Mathematical proof 11:05 −4,109 Erpert talk contribs (Surprising that so much of this article was unsourced) Tags: Mobile edit Mobile app edit iOS app edit App section source
• 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 m Dialetheism 07:03 +9,459 Lordseriouspig talk contribs (Reverted edits by 149.167.38.223 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
• diffhist Dialetheism 07:02 −9,459 149.167.38.223 talk Tags: Reverted blanking
• 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 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 Intermediate value theorem 15:59 +8 166.198.198.21 talk (→Theorem) Tags: Mobile edit Mobile web edit
• 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)

24 May 2025

• diffhist Cardinality 22:35 +1,907 Farkle Griffen talk contribs (→Early set theory: Started a section on "Other contributors") Tag: Visual edit
• diffhist Cardinality 21:52 −4 Trovatore talk contribs (The link to size is not particularly helpful here)
• diffhist m Cardinality 21:48 +28 Farkle Griffen talk contribs (→Georg Cantor: Swapped image for a younger Cantor) Tag: Visual edit
• diffhist m Material conditional 21:48 −567 Marc Schroeder talk contribs (→Syntactical properties: Now things are stated once instead of twice.)