J. Barkley Rosser. The axiom of infinity in Quine's New foundations. The journal of symbolic logic, vol. 17 (1952), pp. 238–242.
Keyword(s):
Keyword(s):