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

Synonyms

All synonyms

axiomatization approachfoundations movementhistorical programlogical reduction programlogicist doctrinemodern logicism

Antonyms

All antonyms

formalismintuitionism

Etymology

From logic + -ism.