{"name": "数学哲学", "children": [{"name": "似真推理", "en": "plausible inference", "superfield": "自然辩证法"}, {"name": "元数学", "en": "metamathematics", "superfield": "自然辩证法"}, {"name": "公理主义", "en": "axiomatism", "superfield": "自然辩证法"}, {"name": "公理化", "en": "axiomatization", "superfield": "自然辩证法"}, {"name": "关系映射反演", "en": "relationship-mapping-inversion", "superfield": "自然辩证法"}, {"name": "哥德尔不完全性定理", "en": "Goedel's incompleteness theorem", "superfield": "自然辩证法"}, {"name": "希尔伯特纲领", "en": "Hilbert programme", "superfield": "自然辩证法"}, {"name": "形式主义", "en": "formalism", "superfield": "自然辩证法"}, {"name": "形式系统", "en": "formal system", "superfield": "自然辩证法"}, {"name": "数学哲学", "en": "philosophy of mathematics", "superfield": "自然辩证法"}, {"name": "数学基础", "en": "foundation of mathematics", "superfield": "自然辩证法"}, {"name": "数学实在论", "en": "realism in mathematics", "superfield": "自然辩证法"}, {"name": "数学实验", "en": "mathematical experiment", "superfield": "自然辩证法"}, {"name": "数学归纳法", "en": "mathematical induction", "superfield": "自然辩证法"}, {"name": "数学悖论", "en": "mathematical paradox", "superfield": "自然辩证法"}, {"name": "数学拟经验论", "en": "quasi-empiricism in mathematics", "superfield": "自然辩证法"}, {"name": "数学柏拉图主义", "en": "Platonism in mathematics", "superfield": "自然辩证法"}, {"name": "数学模型", "en": "mathematical model", "superfield": "自然辩证法"}, {"name": "数学猜想", "en": "mathematical conjecture", "superfield": "自然辩证法"}, {"name": "数学经验论", "en": "empiricism in mathematics", "superfield": "自然辩证法"}]}