On the consistency of a slight(?) modification of quine’s nf. Synthese (1969)

by R Jensen