巨大数探索スレッド12 [無断転載禁止]©2ch.net

[499 １３２人目の素数さん 2017/07/09(日) 18:38:45.93 ID:z7uBIIRa]

ビジービーバー関数の全域性は１階述語論理で記述できる以上恒真であれば証明できる