Russell's paradox is dissolved by type theory without invoking 'illegitimate totalities'—the restric...