On the consistency of a slight (?) modification of Quine’s New Foundations’, Synthese 19 (1969)

by R B Jensen