- 239 名前：式で書こう
ぶっちゃけ以下の２つの式は違うから
∃ａ∈Ｒ∀ｎ∈Ｎ 0＜ａ＜1/n
（ある実数ａが存在して任意の自然数ｎについて 0＜ａ＜1/n）
∀ｎ∈Ｎ∃ａ∈Ｒ 0＜ａ＜1/n
（任意の自然数ｎについて”それぞれ”ある実数ａが存在して 0＜ａ＜1/n）
後者の式はＡと矛盾しないが、前者の式はＡと矛盾する
ａがｎに依存して決まることを日本語の文章で明確に示すには
たとえば”それぞれ”とかいう言葉を追加する必要がある
しかし述語論理式では変数の束縛順で決まる [] - [ここ壊れてます]
