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