logicism
Noun
Meaning
(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
Source: WordNetSynonyms
Hypernyms
Examples
Bob Hale and Crispin Wright argue that it is not a problem for logicism because the incompleteness theorems apply equally to first order logic as they do to arithmetic.
Gottlob Frege was the founder of logicism.
The starting point of the ongoing sympathetic reexamination of Frege's logicism.
From Bertrand Russell 's logicism they sought reduction of mathematics to logic.
Without this device, the project of logicism would have been doubtful or impossible.