Talk:Ordinary mathematics

From Wikipedia, the free encyclopedia

What the hell is this article? It seems to be about what I'm used to call (elementary) arithmetics. Reading the What links here pages, it appears that ordinary mathematics is mathematics studied within the universe V_ω+ω (according to Von Neumann universe or SN (according to Universe (mathematics)). The worst thing is that the two don't even seem to be equal. (V_ω+ω in Von Neumann universe article appear to be what Universe (mathematics) article calls S(S{}).) --Army1987 08:19, 26 August 2005 (UTC)

[edit] Article rewritten as stub

I've rewritten this article as a stub. This is the meaning of the term as used in the articles Universe (mathematics) and Von Neumann universe. Paul August ☎ 16:16, August 26, 2005 (UTC)

[edit] Ick

This article should be deleted, and the articles linking to it should just add a sentence saying what they mean. —Preceding unsigned comment added by CMummert (talk • contribs)

[edit] Excluded middle as a corollary of AC?!?!?

This part:

Ordinary mathematicians generally assume the axiom of choice (at least, because it makes their work easier), whereas constructivists reject it on the grounds that it is "non-constructive", and also reject the law of excluded middle, which can be derived from it.

looks strange to me... it is a very strange thing to present the law of excluded middle (an elementary logic principle) as a corollary of the axiom of choice (an advanced and controversial set theory issue).--Pokipsy76 08:02, 22 September 2007 (UTC)