Frege and Russell's logicist programs showed that unrestricted comprehension over ordinal-generating...