FOM: Existence of Axioms and Existence of Collections of Axioms

Matt Insall montez at rollanet.org
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 
correct,
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