Re: Mathematicians are in deep *** for 2 reasons

rupert says

You've said "ZFC has been proven to be inconsistent, based on the Skolem
paradox".



i say

from wiki

quote

http://en.wikipedia.org/wiki/ZFC
Zermeloâ??Fraenkel set theory, with the axiom of choice, commonly
abbreviated ZFC, is the standard form of axiomatic SET THEORY


NOW read wiki

Using the Löwenheim-Skolem Theorem, we can get a model of SET THEORY
which only contains a countable number of objects. However, it must
contain the aforementioned uncountable sets, which appears to be a
contradiction


now ZFC is set theory
so it is in contradiction due to skolem

--
Message posted using http://www.talkaboutscience.com/group/sci.logic/
More information at http://www.talkaboutscience.com/faq.html

.

Quantcast