Synset
the logical analysis of mathematical reasoning
<noun.cognition>
metamathematics
semantic pointers
domain of synset (topic)
mathematics, math, maths
hypernym
pure mathematics
