Declarar que la paradoja de Russell ( http://qttr.at/1pd7 ) permanece a pesar de otras formas de lógica o teorías (como la de tipos) es ~