18/09/28 12:31:42.50 VDVPrLrO.net
>>511
そもそもの話になりますが、
今回証明しようとしている命題は
∃y:奇数［σ(y)＝2y］です
これと同値な命題は
∃p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
です。
なので、
∀p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
を証明することには何の意味もないですね。
18/09/28 12:31:42.50 VDVPrLrO.net
>>511
そもそもの話になりますが、
今回証明しようとしている命題は
∃y:奇数［σ(y)＝2y］です
これと同値な命題は
∃p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
です。
なので、
∀p:奇素数［∃y:奇数［p|y ∧ σ(y)＝2y］］
を証明することには何の意味もないですね。