>>516
ビジービーバー関数 BB(n) は(最大でも) n=7910 でZFCの限界を超えるので
ZFCで全域性の証明は無理
https://arxiv.org/abs/1605.04343