[FOM] Questions about a restricted ZF
paul at mtnmath.com
Mon Mar 8 13:16:00 EST 2010
I am attempting to formalize my concept of objective mathematics. It
appears that I need a restricted ZF without the power set axiom and with
quantifiers in the axiom of replacement limited to the integers plus
universal (no existential) quantifiers over subsets of the integers.
(Being a subset of the integers must be defined as a property and not by
What I think this defines are countable admissible ordinals less than
some limit and the sets constructible from them. Is this correct? Is
there research on the hierarchy that results from these restrictions on
I am not suggesting an alternative to ZF. I think all the objective
statements decidable in ZF are correctly decided. The purpose is to
separate out statements that have a definite objective truth value from
those than I think only have relative meaning like the continuum hypothesis.
More information about the FOM