奇数の完全数の存在に関する証明が完成しました2

[0200 １３２人目の素数さん 2018/08/25(土) 12:38:42.47 ID:UMWGN7ci]

https://ja.wikipedia.org/wiki/自然演繹
もう少しわかりやすい解説は↓
http://web.sfc.keio.ac.jp/~mukai/modular/gentzen-NK.pdf
数学の推論規則は概ねここに書いてあるものになるが>>1の推論はこれらとは異なるようだ