from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. The doctrine that mathematics is a branch of logic in that some or all mathematics is reducible to logic.
from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.
- n. (philosophy) the philosophical theory that all of mathematics can be derived from formal logic
Sorry, no etymologies found.