現代数学の系譜 工学物理雑談 古典ガロア理論も読む44

[0155 １３２人目の素数さん 2017/10/06(金) 16:55:37.49 ID:5GoVJcVa]

>>148　>>153

問題

∃ｘ∈N∀ｙ＞ｘ⇒P(y)　を満たす述語P全体と
∀ｘ∈N∃ｙ＞ｘ＆P(y)　を満たす述語P全体
どっちが多い？