Talk:Reverse mathematics
From Wikipedia, the free encyclopedia
[edit] Criticizing the move to second-order arithmetic
See the discussion page there. (Just mentioning it here for reference.) --Gro-Tsen 00:35, 7 February 2006 (UTC)
[edit] Changes on 2006-3-20
See my comment in the discussion under second-order arithmetic --CMummert 02:10, 20 March 2006 (UTC)
[edit] Saving a phrase
I moved this from the main page. I don't think it should be deleted, so I am putting it here until I can work it back into the article.
For example, while usual (forward) mathematics is done in the language of set theory and in the system of Zermelo-Fraenkel set theory with the axiom of choice (which, unless the contrary is explicitly stated, is assumed to be the foundation system taken for granted by working mathematicians), this system is really much stronger than is necessary.
CMummert 15:39, 28 June 2006 (UTC)
