Ripheus23

Haha, I finally managed to come up with a thoroughly set-theoretic foundation for my theory. The main thing is not to start with the empty set as zero. Rather, we define zero as a Quine atom (a = {a}) and 1 as the equivalent of the empty set. Here zero is the empty subset. I checked the powerset listing under this definition and it works (I couldn't get the classical definition to work, I will add).