4 ms·

Anyone who prefers type theory to (non-naive) set theory does so for philosophical reasons. Therefore your argument is self-defeating.