On Sunday, May 4, 2014 1:44:24 PM UTC-7, muec...@rz.fh-augsburg.de wrote: > On Sunday, 4 May 2014 21:04:40 UTC+2, Zeit Geist wrote: > > > > > I was speaking of your Finitely Definable List of All Definable Reals that you claim to Exist. > > > > No, I do not claim that. I claim that such a list would show a contradiction. > > > So you withdrawal you claim that the Definable Reals are Countable? > > No I claim that a countable set has only countable or finite subsets.
True, a Subset of a Set Cannot exceed the Cardinality of that Set.
However, your Set of Finite Definitions is Not Countable.
So, how do find the Set of Definable Real is Countable?