So, it's my understanding that Russell and Whitehead's project of logicism in the Principia Mathematica didn't work out. I understand that two reasons for this are (1) that some of their axioms don't seem to be derivable from pure logic and (2) Gödel's incompleteness theorems. However, particularly since symbolic logic and the philosophy of mathematics are not my area, it's hard for me to see how 1 & 2 work and defeat the project.
Read another response by Peter Smith, Richard Heck, Alexander George
Read another response about Logic, Mathematics