Talk:Axiomatic system: Revision history

27 August 2024

• curprev 02:4802:48, 27 August 2024‎ RMCD bot talk contribs‎ 10,875 bytes +382‎ Notified target talkpage of move discussion on Talk:Hilbert system undo

14 January 2024

• curprev 23:1723:17, 14 January 2024‎ Cewbot talk contribs‎ m 10,493 bytes −18‎ Maintain {{WPBS}} and vital articles: 3 WikiProject templates. Remove 1 deprecated parameter: field. undo

8 January 2024

• curprev 13:1413:14, 8 January 2024‎ Cewbot talk contribs‎ m 10,511 bytes −47‎ Maintain {{WPBS}} and vital articles: 3 WikiProject templates. Merge {{VA}} into {{WPBS}}. Keep majority rating "C" in {{WPBS}}. Remove 3 same ratings as {{WPBS}} in {{WikiProject Systems}}, {{Maths rating}}, {{WikiProject Philosophy}}. undo

25 March 2022

• curprev 07:1407:14, 25 March 2022‎ 2001:983:a334:1:c45e:732d:f639:d9c4 talk‎ 10,558 bytes +485‎ →‎Can the concept of an axiomatic system be presented in the form of an axiomatic system?: new section undo

10 March 2022

• curprev 19:1519:15, 10 March 2022‎ SineBot talk contribs‎ m 10,073 bytes +286‎ Signing comment by 197.156.86.246 - "→‎Model as an axiomatic system in which an axiom is defined: new section" undo
• curprev 19:1419:14, 10 March 2022‎ 197.156.86.246 talk‎ 9,787 bytes +778‎ →‎Model as an axiomatic system in which an axiom is defined: new section undo Tags: Mobile edit Mobile web edit

23 July 2021

• curprev 20:5020:50, 23 July 2021‎ RenatUK talk contribs‎ 9,009 bytes −71‎ Fixed {{Vital article}}; WP:TALKORDER undo

19 December 2020

• curprev 08:1208:12, 19 December 2020‎ Cewbot talk contribs‎ m 9,080 bytes +123‎ Maintain {{Vital article}}: The article is listed in the level 5 page: Axiomatic systems (18 articles) undo

26 June 2016

• curprev 21:3521:35, 26 June 2016‎ JJMC89 bot talk contribs‎ m 8,957 bytes +657‎ subst /Comments to discontinue comments subpage) (AWB (12041) undo

1 April 2014

• curprev 16:0016:00, 1 April 2014‎ Bryanrutherford0 talk contribs‎ 8,300 bytes −31‎ Reassessing as C-class quality undo

17 February 2011

• curprev 02:3102:31, 17 February 2011‎ CBM talk contribs‎ 8,331 bytes +198‎ →‎Consistancy: + undo
• curprev 02:2902:29, 17 February 2011‎ CBM talk contribs‎ 8,133 bytes +283‎ →‎Consistancy: r undo

16 February 2011

• curprev 20:3920:39, 16 February 2011‎ 155.101.224.65 talk‎ 7,850 bytes +616‎ →‎Consistancy undo

24 September 2010

• curprev 01:5801:58, 24 September 2010‎ Rgdboer talk contribs‎ 7,234 bytes +691‎ →‎Incomplete definition: new section undo

21 June 2010

• curprev 12:4612:46, 21 June 2010‎ CBM talk contribs‎ 6,543 bytes +205‎ →‎Completeness: yes undo

18 April 2010

• curprev 12:1912:19, 18 April 2010‎ Pollinosisss talk contribs‎ 6,338 bytes 0‎ assessment undo

11 December 2009

• curprev 03:3603:36, 11 December 2009‎ Pollinosisss talk contribs‎ 6,338 bytes +5‎ No edit summary undo

1 December 2009

• curprev 14:3314:33, 1 December 2009‎ Pollinosisss talk contribs‎ 6,333 bytes +47‎ No edit summary undo

31 August 2009

• curprev 05:0505:05, 31 August 2009‎ Magioladitis talk contribs‎ m 6,286 bytes −22‎ clean up, Removed: |nested=yes (2), using AWB undo

7 August 2009

• curprev 15:3415:34, 7 August 2009‎ Jdbrody talk contribs‎ 6,308 bytes +901‎ No edit summary undo

24 June 2009

• curprev 20:1120:11, 24 June 2009‎ 76.172.28.125 talk‎ 5,407 bytes +243‎ No edit summary undo

2 February 2009

• curprev 04:4104:41, 2 February 2009‎ SineBot talk contribs‎ m 5,164 bytes +300‎ Signing comment by 201.2.226.107 - "→‎Either-or?: new section" undo
• curprev 04:4004:40, 2 February 2009‎ 201.2.226.107 talk‎ 4,864 bytes +354‎ →‎Either-or?: new section undo

13 May 2008

• curprev 19:4219:42, 13 May 2008‎ Mdd talk contribs‎ 4,510 bytes +6‎ No edit summary undo

29 March 2008

• curprev 23:4823:48, 29 March 2008‎ Gregbard talk contribs‎ m 4,504 bytes +23‎ banner shell undo

25 January 2008

• curprev 07:2007:20, 25 January 2008‎ Gregbard talk contribs‎ m 4,481 bytes −62‎ phil of language using AWB undo

10 November 2007

• curprev 03:4803:48, 10 November 2007‎ BetacommandBot talk contribs‎ m 4,543 bytes +283‎ auto assessed undo

8 October 2007

• curprev 08:4108:41, 8 October 2007‎ Gregbard talk contribs‎ m 4,260 bytes +33‎ logic --> philosophy using AWB undo

8 August 2007

• curprev 05:3605:36, 8 August 2007‎ DesolateReality talk contribs‎ 4,227 bytes +191‎ remarked that i have removed merger tag undo

7 August 2007

• curprev 23:1023:10, 7 August 2007‎ Mdd talk contribs‎ m 4,036 bytes +55‎ Projectbanner undo

22 July 2007

• curprev 04:4604:46, 22 July 2007‎ DesolateReality talk contribs‎ 3,981 bytes +923‎ Merger of "Axiomatic system" and "Formal system" undo
• curprev 03:5303:53, 22 July 2007‎ DesolateReality talk contribs‎ 3,058 bytes +353‎ reasons for merger undo

21 July 2007

• curprev 14:0714:07, 21 July 2007‎ DesolateReality talk contribs‎ 2,705 bytes +355‎ explosion v.s. contradiction undo

21 May 2007

• curprev 18:2718:27, 21 May 2007‎ Geometry guy talk contribs‎ 2,350 bytes +1‎ Update class/comments using AWB undo

13 May 2007

• curprev 11:5811:58, 13 May 2007‎ Geometry guy talk contribs‎ 2,349 bytes +87‎ add maths rating with field and importance using AWB undo

5 May 2007

• curprev 21:0721:07, 5 May 2007‎ Mdd talk contribs‎ m 2,262 bytes +54‎ {{WikiProject Systems|class=Start|importance=high}} undo

5 August 2006

• curprev 16:2216:22, 5 August 2006‎ 71.246.5.61 talk‎ 2,208 bytes +301‎ "Model" as a term of art in logic undo

4 May 2006

• curprev 03:1903:19, 4 May 2006‎ 70.20.163.69 talk‎ 1,907 bytes +287‎ Perhaps make it more accessible... undo

30 October 2005

• curprev 14:5814:58, 30 October 2005‎ Nahaj talk contribs‎ m 1,620 bytes +1,110‎ inconsistancy is not the same as non-contradiction. undo

30 August 2004

• curprev 17:1717:17, 30 August 2004‎ 131.211.81.29 talk‎ 510 bytes +510‎ No edit summary