Re: Simplifying M theories.

On Jun 19, 3:25 pm, zuhair <zaljo...@xxxxxxxxx> wrote:

6: Infinity: Ax((Ay( y in x -> y is a universe)
                              and x is countable)  -> H(Union x)).

Please define 'countable' and 'Union'.

7: Inflation:

Ax Ay ( (x is a set and Az(z in y -> z is a universe) and y
equinumerous x ) -> y is a set).

Please define 'equinumerous'.

This theory contain all axioms of ZF-Regulariy-choice.

The proof of that is trivial I guess.

MoeBlee
.