Wordnet Synset 05981284-n
http://lila-erc.eu/data/lexicalResources/LatinWordNet/id/LexicalConcept/05981284-n an entity of type: LexicalConcept
(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
Wordnet Synset 05981284-n