05972417-n 'the philosophical theory that all of mathematics can be derived from formal logic';
Definitions
- 日本語
-
数学のすべては形式論理学から導かれるという哲学理論
- 英語
-
the philosophical theory that all of mathematics can be derived from formal logic
Relations
External Links
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<bond@ieee.org>