Both Frege and Russell aimed to reduce mathematics to logic; type theory maintains this core logicis...
This proposition has not been edited since the history system was added.