[FOM] Formalizing "objective" mathematics

Paul Budnik 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.

Paul Budnik

More information about the FOM mailing list