1. Containment functions
So on the Discord, we kinda had a problem of defining "is" and "can". For example, you can have an object that is contained, but you can also have an object that can be contained, but isn't. But theres no hypercosmological metatime. To solve this issue, I created something called a containment function, which simply makes a cosmology be contained. For example:
- f({})={{}}
- f(dog)={dog}
- f(Uncontainable)=Uncontainable
Uncontainable can't be contained, so the containment function keeps it the same, but the concept dog can be contained, it's just not contained.
2. Nonexistence
Let's introduce a new concept: ⊥⁺
We must first create a new structure: B
- B contains everything which is either a cosmology or isn't.
- MPR. (Ignores any paradoxes and contradictions introduced by this definition)
It's definition is:
- ⊥⁺ doesn't exist, and is not a cosmology.
- ⊥⁺ is in B.
- MPR.
W.I.P.