[FOM] Formalizing "objective" mathematics
paul at mtnmath.com
Mon Apr 5 18:04:21 EDT 2010
I have made a first attempt at formalizing what I call the objective
parts of ZF. i. e. those parts that are logically determined within the
context of a finite but potentially infinite universe (see
www.mtnmath.com/axioms/ ). All comments will be appreciated especially
any pointing out mistakes.
The formalization is closely related to generalized recursion theory. It
includes the axioms of ZF minus the power set axiom and with a
restricted version of the axiom of replacement.
More information about the FOM