典籍资料库 / 汉语辞书(社区数据)
公理化方法
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
关联工具
相关资料
用本篇题名检索非遗名录 · 浏览非遗文化
文脉工具目录
发现你的下一件研究工具
从材料、问题或方法出发。每个条目都说明用途、独特之处与使用门槛。
正在载入目录…
TASK TEMPLATES
从一个小问题开始
每个模板都有示例材料、默认参数和“容易误读的地方”。
OPEN HUMANITIES LIBRARY诗文、史事与考点
在站内检索可核对的开放资料,把一段原文送入工具,再用练习和复习巩固。
把知识变成练习
从当前结果生成回忆卡;错题会保存在本机,下一次可继续复习。