0528sage垢版 | 大砲2017/07/11(火) 15:30:31.98ID:c3IIUzAc >>516 ビジービーバー関数 BB(n) は(最大でも) n=7910 でZFCの限界を超えるので ZFCで全域性の証明は無理 https://arxiv.org/abs/1605.04343