Synset

(philosophy) the philosophical theory that all of mathematics can be derived from formal logic
<noun.cognition>

semantic pointers

hypernym

domain of synset (topic)