n05972417
type | n |
lex_filenum | 09 |
def | (philosophy) the philosophical theory that all of mathematics can be derived from formal logic |
Outgoing links | |
Hypernym | philosophical doctrine, philosophical theory |
Domain of synset - TOPIC | philosophy |
Incoming links | |
Member of this domain - TOPIC | philosophy |
Hyponym | philosophical doctrine, philosophical theory |
Click for the XML entry