Editing Foundations of mathematics (section)

==== Logicism ====
{{Main|Logicism}}

[[Logicism]] is a school of thought, and research programme, in the philosophy of mathematics, based on the thesis that mathematics is an extension of logic or that some or all mathematics may be derived in a suitable formal system whose axioms and rules of inference are 'logical' in nature. [[Bertrand Russell]] and [[Alfred North Whitehead]] championed this theory initiated by [[Gottlob Frege]] and influenced by [[Richard Dedekind]].