Therefore such a set would be at least as large as its own power set, contradicting Cantor's theorem...