On Feb 17, 11:42 am, fom <fomJ...@nyms.net> wrote:>> So, returning to the statements in the opening> paragraph, it does not surprise me that Zuhair> may have succeeded in devising a means by which> to show Con(ZF) relative to Morse-Kelley set theory.> Morse-Kelley set theory as presented in Kelley> presumes a global axiom of choice.

The theory that I've presented can actually work without the axiomof global choice!

this is done by replacing axiom of Universal limitation byaxiom of direct size limitation.