>>552
高木さんの証明(最新版)の方針まとめたんで確認しておくれやす
オーケーなら高木さんのお墨付きとしてテンプレにいたしますわ

----------------------------------------------------------------------------------------------------------------
>>1による証明(最新版)の概略
1.  ある奇数の完全数が一つ存在すると仮定する(仮定a)
2.  仮定aより命題Aを示す
3.  仮定bより命題¬Aを示す
補題. 仮定c→仮定b、仮定b→仮定cより仮定bは成り立つ
4.  A∧¬Aより矛盾
5.  ゆえに¬a

命題A: 奇数の完全数の個数は多くても一つ
命題¬A: 奇数の完全数は少なくとも2つ存在する
--------------------------------------------------------------------------------------------------------------------