BBの大きさを語る能力の無い公理系では
BB(ある大きい数) の値を実際とは違う値だと決めても矛盾を証明出来ない
だから上の公理系に対して
BB(ある大きい数)=実際と違う値
という公理を加えても無矛盾となる

だからBB(ある大きい数)の値は公理依存で一意に決まらない

と主張してる人がこのスレに約1名いる