Russell and Whitehead 1910), que había sugerido la idea de estudiar la paradoja asociada a la expresión "el primer número ordinal que no se puede definir".