0518132人目の素数さん垢版 | 大砲2018/11/14(水) 21:50:17.21ID:dvX24pAB まだやってんのか 数学的証明の正当性なんて論理式の変形を省略せずに書けば機械でも検証できるだろ