咱们先从一个特别生活化的场景聊起：如果你面前摆着一筐苹果，想从中拿一个出来，这事儿简单吧？不用多想，伸手一挑就行；就算是摆着十筐、一百筐苹果，只要每筐里都有苹果，你也能一筐筐挨个拿一个，顶多费点劲。但如果我告诉你，现在有“无限多”个筐，每个筐里都有苹果，你还能从每个筐里都拿一个苹果出来吗？

你可能会说：“无限多又怎么样？一个个拿呗！” 但这里的关键是，“无限”和“有限”完全不是一个量级——有限的时候，你能说清“第一筐拿红的，第二筐拿大的”，哪怕没说清，至少理论上能逐个完成选择；可无限多筐的时候，你没法一个个“数着拿”，也没法给出一个统一的“拿法规则”（比如“每个筐里拿最左边的”，但有些筐里的苹果可能根本没有“最左边”这个概念）。这时候，你还能确定“存在这样一组被拿出来的苹果”吗？

继续阅读：法则   意志   逻辑

此文由 怡心湖 编辑，若您觉得有益，欢迎分享转发！：首页 > 会·生活 » 数学的“自由意志”：选择公理如何平衡逻辑的“必然法则”？