2 ms·
Nope, Russel's paradox requires set membership axioms + a non-constructive definition of sets. Types are constructive here.
by Tobu 13y ago
Nope, Russel's paradox requires set membership axioms + a non-constructive definition of sets. Types are constructive here.