The full ramified theory of types is not needed to resolve mathematical or set-theoretical paradoxes...