0837132人目の素数さん垢版 | 大砲2018/05/27(日) 23:31:38.56ID:1CB7J1d1 BBの大きさを語る能力の無い公理系では BB(ある大きい数) の値を実際とは違う値だと決めても矛盾を証明出来ない だから上の公理系に対して BB(ある大きい数)=実際と違う値 という公理を加えても無矛盾となる だからBB(ある大きい数)の値は公理依存で一意に決まらない と主張してる人がこのスレに約1名いる