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.