The axiom of infinity in Quine’s New Foundations (1952)

by J B Rosser
Venue:J. Symbolic Logic