FOM: Existence of Axioms and Existence of Collections of Axioms

Matt Insall montez at
Tue Nov 7 12:57:46 EST 2000

Professor Wilson:

>Isn't "the theory PA" itself an infinite set?!

Matt Insall:
That is the way I see it.  However, if professors Kanovei and Sazonov are 
then we cannot draw this conclusion.  For they appear to assume the existence
of theories with infinitely many axioms, but argue that no infinite set 
actually exists.

More information about the FOM mailing list