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