>>496
> ∀とeachを違うものだと思ってなきゃこんな事は書けるわけがないwwww

お前、それらが違うって理解できないのか？
お前は今まで数学基礎論で何を勉強してたんだ？
何を勉強しても全く理解できない正真正銘の馬鹿なんだな

述語論理を形式化した形（つまりはいわゆる述語論理式とそれを扱うための推論規則ってことだ）で議論している時、
量化子の∀は述語論理式の一部つまりは対象言語に属する
それに対して説明文中の"(for) each"は述語論理式の一部分じゃない、それはメタ言語レベルの言葉だ

この程度も理解してないって、お前、本当に馬鹿丸出しだぞ
さっさと首吊って四ねよ
この恥さらし