Quine's New Foundations is a set theory designed to bypass paradoxes of naive set theory. It uses a unique axiom…