0280132人目の素数さん垢版 | 大砲2018/04/18(水) 15:14:14.02ID:MuWE3AmY >>279 ただ、wikipedia情報だとコンピュータによる証明で、論理による証明ではないようですね。