General set theory: Revision history

21 July 2024

• curprev 11:5711:57, 21 July 2024‎ 2001:8003:7829:b01:7458:de3e:c2ad:dd8e talk‎ 8,918 bytes +6‎ →‎Infinite sets undo

10 April 2022

• curprev 08:0508:05, 10 April 2022‎ BrownHairedGirl talk contribs‎ m 8,912 bytes +34‎ add {{Use dmy dates}} undo Tag: AWB

3 March 2022

• curprev 17:3017:30, 3 March 2022‎ GhostInTheMachine talk contribs‎ 8,878 bytes +56‎ Adding local short description: "System of mathematical set theory", overriding Wikidata description "fragment of the axiomatic set theory Z" (Shortdesc helper) undo

17 February 2022

• curprev 22:0522:05, 17 February 2022‎ Paradoctor talk contribs‎ m 8,822 bytes −7‎ →‎Metamathematics: typo undo

26 October 2021

• curprev 21:0821:08, 26 October 2021‎ 2001:569:7f68:bf00:f912:32af:7b38:fa03 talk‎ 8,829 bytes +91‎ →‎Axioms: Clarified meaning of ST (versus GST) undo

22 December 2020

• curprev 03:3403:34, 22 December 2020‎ 157.131.154.133 talk‎ 8,738 bytes 0‎ →‎Peano arithmetic: The paragraph just ends with a semicolon. Maybe there was something important afterward that was accidentally deleted (or intentionally but ungrammatically deleted?), but otherwise, this obviously needs to be a period. undo
• curprev 03:3303:33, 22 December 2020‎ 157.131.154.133 talk‎ 8,738 bytes 0‎ →‎Peano arithmetic: GTS is almost certainly a typo for GST. (If not, it needs to be defined and explained… but I can't imagine what else it could be here.) undo

22 September 2020

• curprev 20:3420:34, 22 September 2020‎ 2001:8b0:cb40:0:d54e:3568:477d:84da talk‎ 8,738 bytes +1‎ →‎Axioms: Fixed typo undo Tags: Mobile edit Mobile web edit

17 September 2020

• curprev 21:0921:09, 17 September 2020‎ 107.77.211.154 talk‎ 8,737 bytes +1‎ Corrected punctuation. undo

14 August 2020

• curprev 18:5418:54, 14 August 2020‎ 88.116.27.230 talk‎ 8,736 bytes +95‎ Remove repeated statements (e.g. it's mentioned 3 times that the context is first-order logic), group related topics together (e.g. PA metatheorems), and add an explicit History section undo

28 July 2020

• curprev 20:5220:52, 28 July 2020‎ SirMeowMeow talk contribs‎ m 8,641 bytes −2‎ Latex polish; the kerning was too tight. undo Tag: 2017 wikitext editor

29 June 2020

• curprev 02:1702:17, 29 June 2020‎ Renamed user 8z9cl30vm1 talk contribs‎ 8,643 bytes −1‎ Undid revision 965043161 by 2601:600:9980:9A30:9431:886:5961:CF14 (talk) undo Tag: Undo
• curprev 02:1702:17, 29 June 2020‎ 2601:600:9980:9a30:9431:886:5961:cf14 talk‎ 8,644 bytes +1‎ No edit summary undo

22 November 2019

• curprev 15:5515:55, 22 November 2019‎ Maxeto0910 talk contribs‎ m 8,643 bytes +6‎ No edit summary undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

18 June 2019

• curprev 22:1722:17, 18 June 2019‎ Texvc2LaTeXBot talk contribs‎ m 8,637 bytes +2‎ Replacing deprecated latex syntax mw:Extension:Math/Roadmap undo

21 May 2019

• curprev 15:3315:33, 21 May 2019‎ Bbbaat talk contribs‎ m 8,635 bytes 0‎ →‎References: Publication date corrected undo

11 March 2019

• curprev 12:5612:56, 11 March 2019‎ 130.237.198.80 talk‎ 8,635 bytes +11‎ →‎Axioms: correct inaccuracy undo

7 April 2018

• curprev 12:5112:51, 7 April 2018‎ 81.220.27.6 talk‎ 8,624 bytes −33‎ Mea culpa, Separation stays. undo Tags: Visual edit Mobile edit Mobile web edit
• curprev 12:4812:48, 7 April 2018‎ 81.220.27.6 talk‎ 8,657 bytes +61‎ Z Axioms were missing. undo Tags: Visual edit Mobile edit Mobile web edit

15 July 2017

• curprev 15:3815:38, 15 July 2017‎ Deacon Vorbis talk contribs‎ m 8,596 bytes −6‎ →‎Axioms: LaTeX spacing clean up, replaced: \!</math> → </math> (3) using AWB undo

29 March 2017

• curprev 05:2805:28, 29 March 2017‎ 24.85.232.10 talk‎ 8,602 bytes +5‎ →‎Discussion undo

8 November 2014

• curprev 13:0613:06, 8 November 2014‎ JP.Martin-Flatin talk contribs‎ 8,597 bytes +15‎ Added template "Set theory". undo
• curprev 13:0013:00, 8 November 2014‎ JP.Martin-Flatin talk contribs‎ 8,582 bytes +24‎ Added template "Mathematical logic". undo

20 August 2014

• curprev 22:4122:41, 20 August 2014‎ BD2412 talk contribs‎ m 8,558 bytes +19‎ →‎Metamathematics: minor fixes, mostly disambig links using AWB undo

13 August 2014

• curprev 16:1116:11, 13 August 2014‎ R.e.b. talk contribs‎ 8,539 bytes 0‎ →‎Axioms: Adding/removing wikilink(s) undo

16 February 2014

• curprev 00:2300:23, 16 February 2014‎ Vieque talk contribs‎ m 8,539 bytes +26‎ Disambiguated: restriction → restriction (mathematics) undo

21 June 2013

• curprev 16:1516:15, 21 June 2013‎ Yobot talk contribs‎ m 8,513 bytes +3‎ WP:CHECKWIKI error #2 fix + general fixes using AWB (9276) undo

16 March 2013

• curprev 16:4416:44, 16 March 2013‎ Addbot talk contribs‎ m 8,510 bytes −51‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q5532389 undo

18 February 2013

• curprev 13:5213:52, 18 February 2013‎ EmilJ talk contribs‎ 8,561 bytes −49‎ →‎Discussion: Fix it the other way round. The important point is that GST with infinity cannot prove the existence of any uncountable set. undo

16 February 2013

• curprev 01:2401:24, 16 February 2013‎ 166.137.191.20 talk‎ 8,610 bytes +14‎ →‎Metamathematics undo
• curprev 01:2001:20, 16 February 2013‎ 166.137.191.20 talk‎ 8,596 bytes +5‎ →‎Discussion undo

7 November 2012

• curprev 07:0007:00, 7 November 2012‎ SchreiberBike talk contribs‎ 8,591 bytes +22‎ You can help. Repaired link to the disambiguation page, Identity. undo

18 October 2012

• curprev 20:5020:50, 18 October 2012‎ EmausBot talk contribs‎ m 8,569 bytes +51‎ r2.7.3) (Robot: Adding uk:Загальна теорія множин undo

12 January 2012

• curprev 03:1303:13, 12 January 2012‎ 111.69.249.88 talk‎ 8,518 bytes +9‎ clarify fn 1 undo

27 April 2011

• curprev 18:0318:03, 27 April 2011‎ Edward talk contribs‎ m 8,509 bytes +4‎ link null set using Find link undo

8 March 2011

• curprev 08:3408:34, 8 March 2011‎ Palnot talk contribs‎ 8,505 bytes +33‎ →‎Ontology: link to element undo

7 March 2011

• curprev 16:4016:40, 7 March 2011‎ Palnot talk contribs‎ 8,472 bytes +88‎ →‎Ontology: point out that the ontology is identical to that of ZFC undo
• curprev 16:3816:38, 7 March 2011‎ Palnot talk contribs‎ 8,384 bytes +192‎ introduce primitive notion and alephs undo

7 February 2011

• curprev 09:0409:04, 7 February 2011‎ Foobarnix talk contribs‎ 8,192 bytes +21‎ →‎Discussion: Repairing links to disambiguation pages - You can help! Domain of a function undo

19 January 2011

• curprev 22:1322:13, 19 January 2011‎ Pdcook talk contribs‎ 8,171 bytes +23‎ dab undo

15 November 2010

• curprev 04:0304:03, 15 November 2010‎ Tomlee2060 talk contribs‎ m 8,148 bytes 0‎ →‎Axioms: using () instead of [] for style and consistency undo

28 January 2010

• curprev 12:4112:41, 28 January 2010‎ David Pierce talk contribs‎ m 8,148 bytes +42‎ →‎Metamathematics: link to NBG *set theory* undo
• curprev 12:3812:38, 28 January 2010‎ David Pierce talk contribs‎ m 8,106 bytes 0‎ →‎Metamathematics: NGB --> NBG undo

4 June 2009

• curprev 10:4510:45, 4 June 2009‎ EmilJ talk contribs‎ 8,106 bytes +105‎ →‎Metamathematics: the most (and pretty much only) important metamathematical property of GST was missing undo
• curprev 10:4010:40, 4 June 2009‎ EmilJ talk contribs‎ 8,001 bytes +2‎ →‎Discussion: it's not "however", it's a consequence undo
• curprev 10:3810:38, 4 June 2009‎ EmilJ talk contribs‎ 7,999 bytes −94‎ →‎Metamathematics: more bullshit. In second-order logic, one can finitely axiomatize a second-order EXTENSION of GST, not GST itself. undo
• curprev 10:3310:33, 4 June 2009‎ EmilJ talk contribs‎ 8,093 bytes −6‎ →‎Metamathematics: correction undo
• curprev 10:3110:31, 4 June 2009‎ EmilJ talk contribs‎ 8,099 bytes −16‎ there are infinitely many axioms undo
• curprev 10:2710:27, 4 June 2009‎ EmilJ talk contribs‎ 8,115 bytes −194‎ →‎Discussion: rm nonsensical counting undo
• curprev 01:5401:54, 4 June 2009‎ JRSpriggs talk contribs‎ 8,309 bytes +62‎ →‎Discussion: disambiguate link to ZF; there are three existential quantifiers (not counting phi), see talk. undo