Frege's double correlation thesis and quine's set theories NF and ML · Study