资料来源 : WordNet®

logicism
     n : (philosophy) the philosophical theory that all of
         mathematics can be derived from formal logic