[FOM] Formalizing "objective" mathematics

[Paul Budnik]

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.

Paul Budnik
www.mtnmath.com