theorem: if
an axiom of
negative one
is ;-1=-1; then
known algebra
cannot derive
zero as ;-(-0);; realizes a
constructive
diagonal
method must
count the
negative reals; when
;4-4=1-1;
implies
(√2)^[0⁕2]=
(√2)^[0]; then those
negative reals
raised to an
infinite power
would not include
;f<(1-∞)/∞>; while
the positive reals
raised so would! finally therefore a
listing of infinitesimal
negative reals requires
that ;-0=-1/∞; and so no
way exist for deriving
the positive reals within
the context of restricted
comprehension. done.