今は自由変数の話をしてるんだよ
自由変数ってのは定数みたいなもので、外側に∀をつけて束縛したのとだいたい同じだよ
∀x. P(x)を証明するにはP(x)を証明すればいいって基本だよね…