On May 19, 10:46 am, Graham Cooper <grahamcoop...@gmail.com> wrote: > On May 19, 10:20 am, "K_h" <KHol...@SX729.com> wrote: > > So you're claiming that the axiom of infinity is a theorem from your naive > > set theory? But in either case the axiom of infinity is true for the > > reasons I mentioned in my previous post to you. > > Both NST and APS will stratify P(x,INF) > > But in APS the 2nd clause of set membership must be assumed > > Y = {x | P(x,Y) ^ !Pr(!E(Y))} >
Of course if you can find a contradiction with
THERE IS NO INFINITE SET
my argument would change.
Until then APS can also stratify Theories with no infinite sets.
