"(philosophy) the philosophical theory that all of mathematics can be derived from formal logic" . "Wordnet Synset 05981284-n" . .