Related changes

29 May 2025

• diffhist Axiomatic system 00:10 +81 Yesterday, all my dreams... talk contribs (→Axioms and models: cartegoricity)

28 May 2025

• diffhist m Associative property 09:00 −20 Beland talk contribs (MOS:MATHSPECIAL / convert special characters found by Wikipedia:Typo Team/moss (via WP:JWB)) Tag: JWB

27 May 2025

• diffhist m Natural deduction 16:24 −29 AllCatsAreGrey talk contribs (clean up, typo(s) fixed: charcterized → characterized, Here’s → Here's) Tag: AWB
• diffhist m Morphism 12:12 +1 Unlimiter talk contribs ("The composition of morphisms behave like function composition" -> "...behaves...")
• diffhist Morphism 07:36 −110 D.Lazard talk contribs (Reverted 1 edit by Goodphy (talk): Not all morphisms are functions) Tags: Twinkle Undo
• diffhist Morphism 03:42 +110 Goodphy talk contribs (→Definition: Specifically mentioned what are identity morphisms.) Tags: Reverted Visual edit
• 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

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 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 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 Morphism 08:39 −83 D.Lazard talk contribs (Undid revision 1292274103 by Goodphy (talk) This makes phrasing confusing by introducing unhelpful complication. Also, rm a confusing parenthetical comment.)
• diffhist Morphism 03:39 +28 Goodphy talk contribs (Undid revision 1292134802 by 173.79.19.248 (talk) Specify why my change was not an improvement.) Tag: Undo
• diffhist m Category theory 03:05 +36 Roscroft talk contribs (swapping out internal redirects for true links) Tags: Reverted Disambiguation links added
• diffhist Empty set 02:12 0 173.79.19.248 talk (→Topology: LQ)

25 May 2025

• 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 Natural deduction 21:42 −2,675 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
• diffhist m Natural deduction 20:09 −3 Arjayay talk contribs (Duplicate word reworded)
• 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 Morphism 11:05 −28 173.79.19.248 talk (Undid revision 1292101736 by Goodphy (talk) I do not think that this was an improvement) Tags: Undo Reverted
• diffhist Morphism 06:11 +28 Goodphy talk contribs (→Definition: Improved sentences about how, two functions with different codomains that are identical in terms of the domain and the image, are distinguished in the categorical theory; morphisms with different targets are different.) Tags: Reverted Visual edit
• diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)

24 May 2025

• diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
• diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')