they also say...

The set of all sets that do not include themselves

is a logical impossibility and hence demonstrates the impossibility of proving mathematics from first pricniples. At least, I believe this is what Russell and Whitehead came up against when they were writing their Principia, and hence had to give up. No wonder poor ol' Cantor went a little loopy.

cheer

the sunshine warrior