noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   The doctrine that mathematics is a branch of logic in that some or all mathematics is reducible to logic. countable, uncountable
2. 2
   (philosophy) the philosophical theory that all of mathematics can be derived from formal logic wordnet

Etymology

From logic + -ism.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.