3 ms·No one said anything about either types or naive set theory.by juped 2y agoNo one said anything about either types or naive set theory.