>>412
それからね、自由変数を使うのは外に∀があるのと同じだからね
記号論理学で学んでるはずだよね