MENTAL MODEL · M9463
形式系统
Formal System
Version 1.0.0 · 更新于 2026-07-28
CORE DEFINITION · 核心定义
符号：基本元素。公理：起始的真命题。推理规则：从已有命题推出新命题的规则。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
推理的严格框架。提供无歧义的推理环境，是数学和逻辑证明的基础。
anchor
锚定快速决策
形式系统由符号字母表、公理和推理规则组成，在一个无歧义的符号框架内机械地推导定理。其可靠性取决于公理的真与规则的有效，它把“证明”变成纯粹的符号操作，是数学基础与逻辑的核心工具。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- zh.wikipedia.orghttps://zh.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E7%B3%BB%E7%B5%B1verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型