Quine demonstrated in 'Set Theory and Its Logic' that type-theoretic systems can be systematically r...