これものすごいこと言ってるよな？wwwww
∀とeachを違うものだと思ってなきゃこんな事は書けるわけがないwwww

476 １３２人目の素数さん[sage] 2016/09/24(土) 01:28:05.00 ID:bJo8Ywv3
>>473
それ∀Pの部分間違ってるからｗｗｗｗｗ

477 １３２人目の素数さん[sage] 2016/09/24(土) 01:31:44.97 ID:bJo8Ywv3
>>475
てかその下の1.3 First-order versionsで

For each formula φ(x) of the language with abstractor,
∀u(u ∈ {x | φ} ≡ φ(u)).

に書き直してあるじゃんかよｗｗｗｗｗｗｗｗｗｗ

よく見ろよｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ