On Sunday, 4 May 2014 19:59:59 UTC+2, Zeit Geist wrote:
> For example, let S be the Set of Indesceribles in R. > > Let G be the Set of all 10-tuples of S. > > Then, for any H e G, S\H exists. > > > > Now, given two Elements of G, we can't tell them apart. > > But this doesn't violate any Axiom. > Axiom of extensionality. How do you know whether you have two different elements of G?
But that is matheology. In mathematics we don't accept elements that cannot appear in mathematical discourse, dialogue, or monologue (i.e., which cannot be thought of).