考虑下面的演示,其第一行是被称为无限制理解公理的假设。
- 当F(x)[OSC1]
- ∀F∃y[α∈y iff F(α)][UI]
- ∃y[α∈y iffα∉α][UI]
- α∈x1 iffα∉α[EI]
获得罗素悖论的唯一方法是如果阿尔法必须是一个一般常数。但是,在通用实例化中,alpha要么是通用常量,要么是特定常量。因此
- ∀x[x=α]∨∃!x[x=α]
如果∀x[x=α],那么你会得到罗素悖论。但您还没有完成,因为第5行是析取,所以
- ∃! x[x=α][5;DS]
因此,α是一个特定常数。如果alpha等于x1,那么你会得到Russell悖论,所以
x1≠α
[α∈x1 iffα∉α]∧x1≠α[4,7;conf]
∀F∃y[α∈y iff F(α)∧y≠α]
因为alpha是一个特定的常数,你不能对它进行普遍推广,你只能对它进行存在推广。
- ∃x∀F \8707»y[x∈y iff F(x)∧y≠x]
结束第一个假设的范围,第1行意味着第10行。
关键是,罗素的悖论并不是哥特洛布·弗雷格无限制理解公理的结果。这并不奇怪,因为拉塞尔在1901年没有理解宇宙实例化的细微差别。直到1929年,哥德尔才证明了一阶函数微积分是完整的,我不确定他是否知道通用实例化的细微差别。事实上,Leon Henkin的证据FOL是完整的,这是我所熟悉的证据,该证据于1949年发表。我也不清楚汉金是否知道宇宙实例化的细微差别。
你怎么认为?