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

[0516 １３２人目の素数さん 2017/07/10(月) 22:47:12.11 ID:ojujtxmC]

>>514
特に断りがなければZFCとするのが通常じゃね？
ZFCならビジービーバーの全域性は証明できたはず。
ZFCでないというなら>>514が立場をはっきりさせないと。