Quine argued that second-order logic is 'set theory in sheep's clothing,' meaning purportedly second...