w.e.w.e.w.a.w.a.
1 篇文章
張海澎的證明
很複雜啊！
>>不同時間點上的個體以不同的個體常項表示。
若是這樣，Ox 嚴格來說並非解作x是一個物體，而最多只是物體的time-slice. 因從E(z,t1),E(z,t2)可得t1=t2.[註1]
但既是如此，若我(今天)去時空旅行，去到了1900，則我(今天)和我(1900)是否亦應以不同的個體常項表示？
若是，則Ψ的定義中不應寫：
E(z,x)→◇A(z,y)
這不乎合之前的原則。
註1: 若P=>◇P。如在S5等equivalence frames。