Abstract

All axiomatizations in sections 1,2,4-8 are in the language L(Î,W) with just Î and the constant symbol W standing for a Subworld. Think of W as yesterday's world, and think of the quantifiers in the theory as ranging over today's world. The philosophy is that since the universe cannot be completed, every time we reflect on the universe and what we have reflected on previously, we obtain a larger universe.