豆瓣
扫码直接下载
r = r[t'/x] 这里没看明白
x来自 =E， 只是起到占位的作用。r中也没有这个x.如果不幸r中有x,可以把x重命名成y，避免名字冲突。
> 去Mathematical Logic的论坛
P88 case 2（a）没看懂(?..)
P187 Dedekind’s Theorem(?..)
P183 contrary to assumption(?..)
P90 Lemma 3.10.3(?..)
P68 Principle of Irrelevance(?..)
x来自 =E， 只是起到占位的作用。r中也没有这个x.如果不幸r中有x,可以把x重命名成y，避免名字冲突。
> 我来回应