Axiom schema: Revision history

6 December 2023

• curprev 20:2420:24, 6 December 2023‎ Omnipaedista talk contribs‎ 4,270 bytes −1‎ see MOS:SECTIONORDER undo

21 September 2023

• curprev 08:4508:45, 21 September 2023‎ Jochen Burghardt talk contribs‎ 4,271 bytes +35‎ →‎top: less vague short description, based on that of axiom undo
• curprev 03:3103:31, 21 September 2023‎ GraziePrego talk contribs‎ 4,236 bytes +52‎ Adding local short description: "Concept in mathematical logic", overriding Wikidata description "a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear" undo Tag: Shortdesc helper

12 July 2023

• curprev 11:3911:39, 12 July 2023‎ Citation bot talk contribs‎ 4,184 bytes +81‎ Add: s2cid, doi, issue. | Use this bot. Report bugs. | Suggested by Anas1712 | Category:Mathematical axioms | #UCB_Category 8/22 undo

2 July 2023

• curprev 19:5219:52, 2 July 2023‎ 24.56.247.67 talk‎ 4,103 bytes +33‎ →‎Finitely axiomatized theories: replace subjective vague comment about "elegance" complained about on the talk page with a fact grabbed from the page on New Foundations undo
• curprev 19:4219:42, 2 July 2023‎ 24.56.247.67 talk‎ 4,070 bytes −25‎ →‎Finite axiomatization: addressed talk page comment about possible uncountably infinite schema instantiations. undo
• curprev 19:3619:36, 2 July 2023‎ 24.56.247.67 talk‎ 4,095 bytes −213‎ →‎Finite axiomatization: getting rid of the subjective comments that were complained about on the talk page and marked as vague and in need of citation undo
• curprev 19:2319:23, 2 July 2023‎ AnomieBOT talk contribs‎ m 4,308 bytes +15‎ Dating maintenance tags: {{Clarification needed}} undo
• curprev 17:2317:23, 2 July 2023‎ 24.56.247.67 talk‎ 4,293 bytes +24‎ the statement about the schema standing for a "set" of axioms seems problematic, presuming set theory to be ambient. should it say "class"? I came to this page wondering these things undo

25 August 2022

• curprev 08:4208:42, 25 August 2022‎ AnomieBOT talk contribs‎ m 4,269 bytes +17‎ Dating maintenance tags: {{Vague}} undo
• curprev 08:2108:21, 25 August 2022‎ Jochen Burghardt talk contribs‎ 4,252 bytes +11‎ →‎Finite axiomatization: bold due to redirect finite axiomatization; flag vague blurb undo

24 August 2022

• curprev 23:1123:11, 24 August 2022‎ Mgkrupa talk contribs‎ 4,241 bytes +23‎ Added {{Mathematical logic}} undo

22 February 2021

• curprev 03:0703:07, 22 February 2021‎ Aarondeobell talk contribs‎ m 4,218 bytes +1‎ →‎Examples undo Tag: 2017 wikitext editor
• curprev 03:0703:07, 22 February 2021‎ Aarondeobell talk contribs‎ m 4,217 bytes −5‎ →‎Examples undo Tag: 2017 wikitext editor

15 November 2020

• curprev 15:4915:49, 15 November 2020‎ Tom.Reding talk contribs‎ m 4,222 bytes +5‎ Category:CS1 errors: empty unknown parameters; WP:GenFixes on undo Tag: AWB

17 August 2018

• curprev 19:3519:35, 17 August 2018‎ AnomieBOT talk contribs‎ m 4,217 bytes +17‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 17:3517:35, 17 August 2018‎ Chad2271 talk contribs‎ 4,200 bytes +19‎ No edit summary undo Tags: Mobile edit Mobile app edit iOS app edit

4 May 2018

• curprev 22:2722:27, 4 May 2018‎ Allforrous talk contribs‎ 4,181 bytes 0‎ new key for Category:Mathematical axioms: "*" using HotCat undo

26 September 2017

• curprev 09:5909:59, 26 September 2017‎ Gulumeemee talk contribs‎ 4,181 bytes +11‎ →‎References: Disambiguation undo

22 September 2017

• curprev 15:0915:09, 22 September 2017‎ RJGray talk contribs‎ 4,170 bytes −13‎ →‎Examples: Corrected cut-paste error: 2nd Peano arithmetic->ZFC undo
• curprev 15:0715:07, 22 September 2017‎ RJGray talk contribs‎ 4,183 bytes +977‎ Corrected Examples (it said Montague proved both results); put in inline citation; redid References using Citation; added 2 refs undo
• curprev 00:5200:52, 22 September 2017‎ RJGray talk contribs‎ 3,206 bytes −17‎ →‎Finitely axiomatized theories: Removed "quite surprisingly" since this is an opinion (and also no reference has been provided); changed "is" to "can be". undo

26 March 2017

• curprev 01:3401:34, 26 March 2017‎ RJGray talk contribs‎ 3,223 bytes +4‎ →‎Formal definition: Added link undo
• curprev 01:3201:32, 26 March 2017‎ RJGray talk contribs‎ 3,219 bytes +4‎ →‎Formal definition: It's a formula in the metalanguage because the schematic variables are metalinguistic constructs. undo

18 January 2017

• curprev 09:5009:50, 18 January 2017‎ AnomieBOT talk contribs‎ m 3,215 bytes +18‎ Dating maintenance tags: {{Citation needed}} undo
• curprev 09:3009:30, 18 January 2017‎ Church of emacs talk contribs‎ 3,197 bytes +19‎ "Theories that can be finitely axiomatized are seen as a bit more metamathematically elegant, even if they are less practical for deductive work." -- added [citation needed] undo

22 May 2016

• curprev 20:5620:56, 22 May 2016‎ PBS-AWB talk contribs‎ 3,178 bytes +90‎ modification to template Cite SEP and possibly some gen fixes using AWB undo

20 December 2015

• curprev 18:2318:23, 20 December 2015‎ 109.19.51.51 talk‎ 3,088 bytes −1‎ removed question mark undo

18 November 2015

• curprev 03:0703:07, 18 November 2015‎ 174.59.59.222 talk‎ 3,089 bytes +1‎  https://plus.google.com/apps/activities!? undo Tags: Mobile edit Mobile web edit

4 November 2015

• curprev 05:3305:33, 4 November 2015‎ Aquishix talk contribs‎ m 3,088 bytes −1‎ corrected misspelling of "theories" undo

15 October 2015

• curprev 20:5720:57, 15 October 2015‎ Sweepy talk contribs‎ m 3,089 bytes +6‎ No edit summary undo

28 November 2014

• curprev 13:2113:21, 28 November 2014‎ Sardanaphalus talk contribs‎ 3,083 bytes +17‎ →‎References: template undo

22 November 2014

• curprev 14:0814:08, 22 November 2014‎ Brirush talk contribs‎ 3,066 bytes +122‎ Sectionifying undo

26 October 2014

• curprev 15:3015:30, 26 October 2014‎ 79.123.87.122 talk‎ 2,944 bytes 0‎ fmt: lowercase undo

12 May 2014

• curprev 19:5019:50, 12 May 2014‎ NawlinWiki talk contribs‎ m 2,944 bytes +2,832‎ Reverted edits by TehLilBugga (talk) to last version by Chrisahn undo
• curprev 19:5019:50, 12 May 2014‎ TehLilBugga talk contribs‎ 112 bytes −2,832‎ ←Replaced content with 'Theory and its Philosophy''. Oxford Univ. Press. * Category:Formal systems' undo

14 August 2013

• curprev 07:3707:37, 14 August 2013‎ Chrisahn talk contribs‎ 2,944 bytes +11‎ Recursion -> Recursive definition undo

27 February 2013

• curprev 04:2504:25, 27 February 2013‎ Addbot talk contribs‎ m 2,933 bytes −139‎ Bot: Migrating 6 interwiki links, now provided by Wikidata on d:q792536 (Report Errors) undo

9 October 2012

• curprev 07:4507:45, 9 October 2012‎ Arno Matthias talk contribs‎ 3,072 bytes +126‎ added see also undo

28 February 2012

• curprev 22:0722:07, 28 February 2012‎ R'n'B talk contribs‎ m 2,946 bytes +10‎ Fix links to disambiguation page Recursive undo

20 February 2012

• curprev 15:1915:19, 20 February 2012‎ 160.45.152.6 talk‎ 2,936 bytes +21‎ de:Axiomenschema undo

24 July 2011

• curprev 07:1707:17, 24 July 2011‎ ZéroBot talk contribs‎ m 2,915 bytes +35‎ r2.7.1) (robot Adding: uk:Аксіомна схема undo

16 June 2011

• curprev 07:1407:14, 16 June 2011‎ Tea2min talk contribs‎ 2,880 bytes +4‎ Dashes undo

12 April 2010

• curprev 03:0503:05, 12 April 2010‎ Luckas-bot talk contribs‎ m 2,876 bytes +17‎ robot Adding: ja:公理型 undo

22 September 2009

• curprev 02:0902:09, 22 September 2009‎ Gregbard talk contribs‎ m 2,859 bytes +28‎ Quick-adding category Formal systems (using HotCat) undo

27 July 2009

• curprev 17:1417:14, 27 July 2009‎ GrouchoBot talk contribs‎ m 2,831 bytes +20‎ robot Adding: nl:Axiomaschema undo

16 July 2009

• curprev 19:2819:28, 16 July 2009‎ The Wiki ghost talk contribs‎ m 2,811 bytes +4‎ No edit summary undo

26 May 2009

• curprev 04:2804:28, 26 May 2009‎ Mpagano talk contribs‎ m 2,807 bytes −62‎ →‎References: Use of sep-entry template. undo
• curprev 04:1604:16, 26 May 2009‎ Mpagano talk contribs‎ 2,869 bytes +73‎ →‎References: Correct reference to the SEP entry. undo

7 April 2009

• curprev 13:1013:10, 7 April 2009‎ False vacuum talk contribs‎ 2,796 bytes +30‎ "schemas" --> "schemata" (one instance); add parenthetical note near beginning that this is the plural form undo