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
SUMO:
⊂ Proposition
TempoWN:
◁
▲
▷
(Past: 0.000;
Present: 0.349;
Future: 0.001)
SentiWN:
△
▽
(+0.00
-0.00)
MLSentiCon:
△
▽
(+0.00
-0.00)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>