jhbadger: But logicism, the idea that all of math can be reduced to logic, is itself a controversial philosophical thesis!