Wordnet 3.0
NOUN (1)
1. 
 (philosophy) the philosophical theory that all of mathematics can be derived from formal logic; 
WordNet (r) 3.0 (2006):
logicism
    n 1: (philosophy) the philosophical theory that all of
         mathematics can be derived from formal logic