MENTAL MODEL · M13155
集合论选择公理
The Axiom of Choice
更新于 2026-09-10
CORE DEFINITION · 核心定义
选择公理是集合论中的一条原则:给定一族非空且两两不交的集合,存在一个集合恰好从每个集合中各取一个元素。它在数学中出现较晚,却是除欧几里得平行公理之外被讨论最多的公理,而其表述看上去平淡甚至自明。
SCAFFOLDING EFFECT · 脚手架效应
psychology
降低认知负荷
- 辨析存在:区分断言某物存在与给出找到它的方法。 - 检验隐含前提:发现证明中悄悄做了无穷次无规则选取。 - 权衡后果:提醒接受它会带来分球怪论等反直觉结论。
anchor
锚定快速决策
争议在于选取的两种方式:若能用一条规则指明取哪个元素,就不需要这条公理;但若有无穷多个集合且没有任何规则可循,逐个选取就无法完成。选择公理直接断言这样一个集合存在却不给出构造方法,因此它保证存在性却不提供计算途径,这正是它既自明又可疑的原因。
MINIMUM ACTION · 最小行动
进行中 0/4在一个真实场景中练习这个模型:
勾选记录你的进度(本机暂存)
掌握进度0%
account_tree知识谱系 Genealogyexpand_more
menu_book信源参考 Sourcesexpand_more
来源明确性: 明确
- plato.stanford.eduhttps://plato.stanford.edu/entries/axiom-choice/verified
PRIVATE NOTES · 仅自己可见
已保存问答
ENTRY Q&A · 可保存至我的笔记
在清晰边界内提问
thinkingmodels 仅基于已发布的条目上下文回答。
你的问题会发送给 thinkingmodels;回答仅使用公开词条上下文。