Related changes

24 April 2025

• diffhist Injective function 02:36 +91 Goodphy talk contribs (Mentioned a typical characteristic of an injection.) Tag: Visual edit

23 April 2025

• diffhist Cardinality 22:17 0 87.10.208.147 talk
• diffhist Tarski's undefinability theorem 18:11 −3 Peter M Gerdes talk contribs (Found a few more mathcal Ns and switched to mathnn) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Tarski's undefinability theorem 18:09 +83 Peter M Gerdes talk contribs (Used mathbb for the usual symbol for N. Changed talk of metalanguage to stronger system as it's not technically a metalanguage merely some stronger system.) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist Infinity 17:14 +142 Remsense talk contribs (Reverting edit(s) by 87.227.215.65 (talk) to rev. 1286634444 by Trovatore: Unexplained content removal (UV 0.1.6)) Tags: Ultraviolet Undo
• diffhist Infinity 17:14 −142 87.227.215.65 talk Tags: Reverted Mobile edit Mobile web edit
• diffhist Set (mathematics) 16:05 +1,507 D.Lazard talk contribs (→Transfinite induction: filling the section)
• diffhist Hilbert system 11:10 +146 Emk talk contribs (→Predicate logic (example system): fixed a reference to the removed section, reverted changes to Q7)
• diffhist m Material conditional 07:30 −1 Anomalocaris talk contribs ({{2-ary truth table}} unindented to avoid multiline table in list lint error)
• diffhist m Cardinality 03:29 −44 Farkle Griffen talk contribs (Why does it keep adding Zermelo?) Tags: Mobile edit Mobile app edit iOS app edit App section source
• diffhist m Material conditional 02:45 −470 Marc Schroeder talk contribs (→Analytic tableaux: better strategy, first apply alpha rules)
• diffhist m Material conditional 01:44 +18 Marc Schroeder talk contribs (→Semantics)
• diffhist m Material conditional 01:42 −9 Marc Schroeder talk contribs
• diffhist Material conditional 01:32 +3,313 Marc Schroeder talk contribs (Added semantical proof of validity by method of analytic tableaux)

22 April 2025

• diffhist Philosophy of mathematics 23:03 +35 David Eppstein talk contribs (Amy Roth McDuffie)
• diffhist Mathematics 23:03 +35 David Eppstein talk contribs (Amy Roth McDuffie)
• diffhist m Binary relation 22:04 +31 MathThrowaway talk contribs Tag: Visual edit
• diffhist Binary relation 21:59 +237 MathThrowaway talk contribs (Added graphic for binary relation) Tag: Visual edit
• diffhist Cartesian product 17:31 −721 Senomo Drines talk contribs (Nevermind.) Tag: Manual revert
• diffhist Cartesian product 17:29 +566 Senomo Drines talk contribs (Forgot the source.) Tag: Reverted
• diffhist Cartesian product 17:29 +17 Senomo Drines talk contribs Tag: Reverted
• diffhist Cartesian product 17:28 +138 Senomo Drines talk contribs (A sentence bringing up binary relations should be here, since they share a similar concept, although placing it in a see also section is fine too.) Tag: Reverted
• diffhist Cartesian product 17:19 +22 Senomo Drines talk contribs (Similar to the revision done in binary relations, a and b can be misinterpreted to be subsets of A and B instead of elements of A and B.)
• diffhist Binary relation 16:05 −8 D.Lazard talk contribs (Reverted 1 edit by Senomo Drines (talk): Reders of this article are supposed to have read the hatnote or have followed the link to set (mathematics) given in the first sentence. If you disagree, take it on the talk page) Tags: Twinkle Undo
• diffhist Binary relation 15:57 +8 Senomo Drines talk contribs (Undid revision 1286817173 by TakuyaMurata (talk) Why would a reader implicitly assume repetition of the same pair does not happen? They are not a mathematician, we are talking about the average reader. Your analogy is also odd because the phrase "set of different people" works just fine, it just means a set of people with differing characteristics.) Tag: Reverted
• diffhist Boolean function 14:24 +4 MrSwedishMeatballs talk contribs (→On the symmetric hypercube) Tags: Mobile edit Mobile web edit Advanced mobile edit
• diffhist Venn diagram 13:31 −14 Macrakis talk contribs (concision) Tag: Visual edit
• diffhist Ackermann set theory 11:02 +8 MrMacmur talk contribs (Link suggestions feature: 2 links added.) Tags: Visual edit Newcomer task Suggested: add links
• diffhist m Boolean algebra 09:14 +734 Fondingo talk contribs (→History: citations) Tag: Visual edit
• diffhist Set (mathematics) 08:47 0 D.Lazard talk contribs (→Axiom of choice: {{efn}} at the end of the sentence)
• diffhist Set (mathematics) 08:43 −1 D.Lazard talk contribs (→References: renaming for avoiding duplicate headings)
• diffhist Set (mathematics) 07:47 +3 Jochen Burghardt talk contribs (use 1963a,1963b to fix remaining error (BTW: there are two sections called "References"))
• diffhist Set (mathematics) 07:43 −2 Jochen Burghardt talk contribs (ref-->efn to fix error msgs) Tag: harv or sfn error
• diffhist Set (mathematics) 07:25 +769 Jochen Burghardt talk contribs (→References: add cited refs Godel,Cohen)
• diffhist Set (mathematics) 07:18 +178 Jochen Burghardt talk contribs (→Axiom of choice: suggest to mention independence (as it is somewhat surprising))
• diffhist Cartesian product 06:49 −832 Jochen Burghardt talk contribs (Undid revision 1286707724 by Senomo Drines (talk): A,B should be given on the left-hand side of the definition; "combinations" is not that much different from (and less precise than) "pairs"; relations are mentioned in the body (and may distract non-mathematicians from the main issues in the lead)) Tag: Undo
• diffhist Binary relation 04:50 −9 TakuyaMurata talk contribs (different is also very weird; you don't say a set of different people. You just say a set of people (since we implicitly assume there is no repetition))
• diffhist Binary relation 04:47 +33 Senomo Drines talk contribs (This is getting semantical, but I removed it regardless.)
• diffhist Binary relation 04:44 −48 TakuyaMurata talk contribs (Undid revision 1286807131 by Senomo Drines (talk) i''m very tempted to rever this; e.g., represent isn't a standard terminology) Tag: Undo
• diffhist Binary relation 03:01 +48 Senomo Drines talk contribs (Undid revision 1286726092 by D.Lazard (talk) It is still unclear whether or not it is referring to x and y as an "element" or as a "subset" of X and Y. An unknowing reader can interpret this as the cumulative set of x, y, rather than the set of differing pairs of x, y. Clarification is absolutely needed; ambiguity leads to wrongful conjecture.) Tags: Undo Reverted

21 April 2025

• diffhist Binary relation 16:36 −48 D.Lazard talk contribs (Reverted 1 edit by Senomo Drines (talk): "x in S" is not vague. It the standard way to say that x is an element of of the set S. You can verify this by reading any text on mathematical sets) Tags: Twinkle Undo Reverted
• diffhist m Empty set 16:03 −1,043 Langusto talk contribs (Reverted edit by 85.249.21.167 (talk) to last version by AllCatsAreGrey) Tags: Rollback SWViewer [1.6]
• diffhist Empty set 16:02 +1,043 85.249.21.167 talk (→Properties: ,,,,,,,) Tags: Reverted possible vandalism Mobile edit Mobile web edit
• diffhist Binary relation 15:40 +48 Senomo Drines talk contribs (If clarification is needed, then x and y should clarify to be elements, being "in" a set is uncomfortably vague.) Tag: Reverted
• diffhist Cardinality 15:22 +176 Willondon talk contribs (→Etymology: add 'citation needed' tag)
• diffhist Binary relation 14:48 −264 D.Lazard talk contribs (Undid revision 1286707691 by Senomo Drines (talk) this change is very confusing as relying on undefined (in this context) concepts of combination and pairing. Added twice "some" for clarification)
• diffhist Cartesian product 14:27 +832 Senomo Drines talk contribs (If you describe what it is first, and then put it into notation, the reader can connect the dots significantly easier.) Tag: Reverted
• diffhist Binary relation 14:27 +275 Senomo Drines talk contribs (Its difficult to differentiate whether it is talking about the elements of a set or the pairing between the elements of the sets.)
• diffhist Set (mathematics) 10:28 +1,901 D.Lazard talk contribs (→Zorn's lemma: filling the section)
• diffhist m Georg Cantor 06:38 +35 Zero Contradictions talk contribs (Added interlanguage links.)