1. 前回の補足から。「aはtにhしている」に対応する式を、 act(a,t,h) ≔ ∃d∃d₁∃F∃D[ Ă(a,t,d) & m(d,d₁) & d₁=F '(a,t) & ∀t₁≤t∀d₂(Ă(a,t₁,d₂)→∃d₃(m(d₂,d₃)& d₃=F '(a,t₁))) & ∃t₂>t(F(a,t₂)=D) & Cr(D,h)] としたが、これでは不十分ではないか。 なぜなら…