metamathematics (n)

n06017895

type n
lex_filenum 09
def the logical analysis of mathematical reasoning
Outgoing links
Hypernym pure mathematics
Domain of synset - TOPIC mathematics, math, maths
Incoming links
Member of this domain - TOPIC mathematics, math, maths
Hyponym pure mathematics

Back to the index

Click for the XML entry