18/09/27 12:27:05.70 ThbegfUr.net
>>432
では条件式
∃y,∃b y=p^n×b、yが奇数の完全数 …(X)
の解でないものを条件式
Dp^2 - D = 0 …(Y)
が含み得ないのは何故ですか？
これは
(Y) の解の集合 ⊂ (X) の解の集合 …(＊)
が成立しないと言えないと思いますが。
(＊)が成立するとは限らないなら (Y) が (X) の解でないものを含んでいても矛盾とはいえないと思いますが。
18/09/27 12:27:05.70 ThbegfUr.net
>>432
では条件式
∃y,∃b y=p^n×b、yが奇数の完全数 …(X)
の解でないものを条件式
Dp^2 - D = 0 …(Y)
が含み得ないのは何故ですか？
これは
(Y) の解の集合 ⊂ (X) の解の集合 …(＊)
が成立しないと言えないと思いますが。
(＊)が成立するとは限らないなら (Y) が (X) の解でないものを含んでいても矛盾とはいえないと思いますが。