MENTAL MODEL · M4245
塔斯基不可定义性定理
Tarski's Undefinability Theorem
更新于 2026-08-01
CORE DEFINITION · 核心定义
在任何足够强的形式系统中，算术真理的概念不能在该系统内部被定义。简单来说，“真理”不能仅仅通过系统内的语法规则来判定。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
它是哥德尔不完备定理的语义兄弟，强调了元语言的必要性。要判断一个系统内的命题是否为“真”，我们必须跳出该系统，站在更高的维度（元系统）进行审视。
anchor
锚定快速决策
在足以包含算术的一致形式系统内，无法用该系统自身语言定义“真”谓词；真理概念须借助更高层的元语言，可视为哥德尔句的语义学版本。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型：
勾选记录你的进度（本机暂存）
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- en.wikipedia.orghttps://en.wikipedia.org/wiki/Tarski's_undefinability_theoremverified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels；回答仅使用公开词条上下文。
RELATED MODELS · 相关模型