Not sure if this already went through. is there anyway of proving that {a,{a}} does not equal a? Or can I just assume that it is true?
victorw | (66.185.84.209) | Wednesday, 31 July 2002 2:05:56 PM
That actually looks like the recursive definition of a cardinal number. You cant prove it as such. If you think that cardinal number theory, and set theory as a whole, is consistent then you can assume the definition to be true.