Logicism
WordNet

noun


(1)   (philosophy) the philosophical theory that all of mathematics can be derived from formal logic
 
x
OK