Talk:Reverse mathematics

From Wikipedia, the free encyclopedia

Mathematics Portal This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating:	B Class	Mid Priority	Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

[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)