It is not the case that Quine demonstrated in 'Set Theory and Its Logic' that type-theoretic systems can be systematically reinterpreted into first-order set theories via stratification.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.