Axiom of extensionality: Revision history

6 March 2024

• curprev 07:2207:22, 6 March 2024‎ Jlwoodwa talk contribs‎ m 5,620 bytes +25‎ →‎References: {{refbegin}} undo

12 February 2024

• curprev 18:4818:48, 12 February 2024‎ ASHkins20 talk contribs‎ m 5,595 bytes +4‎ Error fix undo Tags: Visual edit Mobile edit Mobile web edit

6 February 2024

• curprev 00:1100:11, 6 February 2024‎ PicoMath talk contribs‎ 5,591 bytes +23‎ Added another name. undo Tag: Visual edit

3 February 2024

• curprev 18:0718:07, 3 February 2024‎ PicoMath talk contribs‎ 5,568 bytes −6‎ "ZF" does not need to be bolded. undo Tag: Visual edit

24 December 2023

• curprev 21:4221:42, 24 December 2023‎ 82.25.27.218 talk‎ 5,574 bytes +66‎ No edit summary undo

15 November 2023

• curprev 21:5621:56, 15 November 2023‎ PicoMath talk contribs‎ 5,508 bytes +4‎ No edit summary undo

9 November 2023

• curprev 18:2918:29, 9 November 2023‎ PicoMath talk contribs‎ m 5,504 bytes +1‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 18:2918:29, 9 November 2023‎ PicoMath talk contribs‎ m 5,503 bytes +23‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 08:5208:52, 9 November 2023‎ Tea2min talk contribs‎ 5,480 bytes +18‎ →‎top: Per MOS:NUMERAL, spell out "2". Per MOS:FORMULA, use italics for variables. undo

8 November 2023

• curprev 23:1023:10, 8 November 2023‎ PicoMath talk contribs‎ m 5,462 bytes +14‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit
• curprev 21:3421:34, 8 November 2023‎ 172.58.160.211 talk‎ 5,448 bytes −19‎ No edit summary undo Tags: review edit Mobile edit Mobile app edit iOS app edit
• curprev 18:5718:57, 8 November 2023‎ 138.84.56.141 talk‎ 5,467 bytes −1‎ No edit summary undo Tags: Mobile edit Mobile web edit
• curprev 18:5218:52, 8 November 2023‎ 138.84.56.141 talk‎ 5,468 bytes +36‎ No edit summary undo Tags: Mobile edit Mobile web edit

29 June 2023

• curprev 09:4509:45, 29 June 2023‎ Mortee talk contribs‎ m 5,432 bytes +1‎ →‎In set theory with ur-elements: typo ("a ur-element" → "an ur-element") undo Tag: Manual revert

14 May 2023

• curprev 16:3616:36, 14 May 2023‎ 108.198.231.92 talk‎ 5,431 bytes −1‎ →‎In set theory with ur-elements: Fixed typo. When choosing between placing "a" or "an" prior to a noun, one looks to its pronunciation and not its spelling. "An" is only used when the word begins with a vowel-sound, regardless of whether it begins with a vowel. In this instance, it phonetically begins with a "y" (as in "your") and so "a" should be used. undo Tags: Reverted Mobile edit Mobile web edit

4 March 2023

• curprev 22:3622:36, 4 March 2023‎ C7XWiki talk contribs‎ 5,432 bytes +24‎ No edit summary undo
• curprev 22:3522:35, 4 March 2023‎ C7XWiki talk contribs‎ 5,408 bytes +202‎ Example in published literature →‎In predicate logic without equality undo

26 February 2023

• curprev 23:3523:35, 26 February 2023‎ JRSpriggs talk contribs‎ 5,206 bytes +1‎ Undid revision 1141812949 by Feydun (talk) display equation should be indented undo Tag: Undo
• curprev 23:1323:13, 26 February 2023‎ Feydun talk contribs‎ m 5,205 bytes −1‎ →‎Formal statement: wasn't parsing the maths undo Tags: Reverted Mobile edit Mobile app edit Android app edit

4 April 2022

• curprev 08:5708:57, 4 April 2022‎ Tc14Hd talk contribs‎ 5,206 bytes −1‎ No edit summary undo Tags: Mobile edit Mobile app edit Android app edit

11 September 2021

• curprev 01:1701:17, 11 September 2021‎ 2603:8000:8901:f00:5d61:46e:6c34:ed5e talk‎ 5,207 bytes +61‎ No edit summary undo

19 January 2021

• curprev 05:2105:21, 19 January 2021‎ Huggums537 talk contribs‎ m 5,146 bytes 0‎ Changing short description from "concept of axiomatic set theory." to "Concept of axiomatic set theory." (Shortdesc helper) undo
• curprev 05:2105:21, 19 January 2021‎ Huggums537 talk contribs‎ m 5,146 bytes −9‎ Changing short description from "concept of Zermelo–Fraenkel set theory." to "concept of axiomatic set theory." (Shortdesc helper) undo
• curprev 05:1705:17, 19 January 2021‎ Huggums537 talk contribs‎ m 5,155 bytes 0‎ Changing short description from "Concept of Zermelo–Fraenkel set theory." to "concept of Zermelo–Fraenkel set theory." (Shortdesc helper) undo
• curprev 05:1705:17, 19 January 2021‎ Huggums537 talk contribs‎ m 5,155 bytes +64‎ Adding local short description: "Concept of Zermelo–Fraenkel set theory.", overriding Wikidata description "axiom" (Shortdesc helper) undo

2 July 2020

• curprev 16:4516:45, 2 July 2020‎ John of Reading talk contribs‎ m 5,091 bytes +1‎ →‎In set theory with ur-elements: Typo fixing, replaced: A ur-element → An ur-element undo Tag: AWB

6 January 2020

• curprev 15:5815:58, 6 January 2020‎ Mathematrucker talk contribs‎ m 5,090 bytes −1‎ →‎In set theory with ur-elements: Article depends on the pronunciation of the "u" which in this case calls for "a" to be used. undo

9 October 2019

• curprev 23:0923:09, 9 October 2019‎ Joel Brennan talk contribs‎ m 5,091 bytes −6‎ →‎Formal statement: formatting undo
• curprev 23:0823:08, 9 October 2019‎ Joel Brennan talk contribs‎ m 5,097 bytes −2‎ →‎In predicate logic without equality: formatting undo
• curprev 23:0723:07, 9 October 2019‎ Joel Brennan talk contribs‎ m 5,099 bytes −6‎ →‎In set theory with ur-elements: formatting undo

27 May 2017

• curprev 23:1223:12, 27 May 2017‎ Magic links bot talk contribs‎ m 5,105 bytes +12‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

4 May 2017

• curprev 19:1419:14, 4 May 2017‎ 72.33.2.179 talk‎ 5,093 bytes +27‎ →‎In predicate logic without equality undo

27 May 2015

• curprev 04:1904:19, 27 May 2015‎ JRSpriggs talk contribs‎ 5,066 bytes +3‎ Undid revision 664183424 by 2607:F140:400:A009:140:FB6E:ED0A:9D03 (talk) undo

26 May 2015

• curprev 21:5721:57, 26 May 2015‎ 2607:f140:400:a009:140:fb6e:ed0a:9d03 talk‎ 5,063 bytes −3‎ →‎Formal statement undo

22 January 2015

• curprev 16:2416:24, 22 January 2015‎ ClueBot NG talk contribs‎ m 5,066 bytes −25‎ Reverting possible vandalism by 82.132.222.160 to version by 50.174.221.28. False positive? Report it. Thanks, ClueBot NG. (2098245) (Bot) undo
• curprev 16:2416:24, 22 January 2015‎ 82.132.222.160 talk‎ 5,091 bytes +25‎ No edit summary undo

25 September 2014

• curprev 19:1319:13, 25 September 2014‎ 50.174.221.28 talk‎ 5,066 bytes +2‎ Fix for mathjax - \exist -> \exists undo

8 April 2013

• curprev 10:4310:43, 8 April 2013‎ Krauss talk contribs‎ m 5,064 bytes +1‎ To facilitate non-Math reader, to read inner forall, and the translation from X to x, in naive formulations undo

9 March 2013

• curprev 09:3909:39, 9 March 2013‎ Klemen Kocjancic talk contribs‎ m 5,063 bytes +33‎ Added {{no footnotes}} tag to article (TW) undo

4 March 2013

• curprev 11:3811:38, 4 March 2013‎ Pastisch talk contribs‎ 5,030 bytes +16‎ →‎References: Added Set Theory template undo

25 February 2013

• curprev 16:3116:31, 25 February 2013‎ Addbot talk contribs‎ m 5,014 bytes −504‎ Bot: Migrating 15 interwiki links, now provided by Wikidata on d:q740424 (Report Errors) undo

4 October 2012

• curprev 18:4518:45, 4 October 2012‎ Xqbot talk contribs‎ m 5,518 bytes +39‎ r2.7.3) (Robot: Adding he:אקסיומת ההיקפיות undo

29 September 2012

• curprev 23:3323:33, 29 September 2012‎ EmausBot talk contribs‎ m 5,479 bytes +41‎ r2.7.3) (Robot: Adding uk:Аксіома об'ємності undo

21 September 2012

• curprev 14:0414:04, 21 September 2012‎ 78.160.209.243 talk‎ 5,438 bytes 0‎ →‎In predicate logic without equality undo
• curprev 13:5713:57, 21 September 2012‎ 78.160.209.243 talk‎ 5,438 bytes 0‎ →‎In predicate logic without equality undo
• curprev 06:0206:02, 21 September 2012‎ Andres talk contribs‎ m 5,438 bytes −32‎ de: undo

20 September 2012

• curprev 20:4120:41, 20 September 2012‎ Andres talk contribs‎ m 5,470 bytes +34‎ No edit summary undo

21 August 2012

• curprev 20:5420:54, 21 August 2012‎ Gabbe talk contribs‎ 5,436 bytes +6‎ changed hyphens to dashes per WP:ENDASH undo

5 September 2011

• curprev 02:3802:38, 5 September 2011‎ JRSpriggs talk contribs‎ 5,430 bytes +16‎ Undid revision 448392796 by Moberg (talk)yes, but the other direction follows from logic alone. undo
• curprev 02:3602:36, 5 September 2011‎ JRSpriggs talk contribs‎ 5,414 bytes −9‎ →‎Interpretation: obviously P does mention B undo