0069132人目の素数さん垢版2017/12/15(金) 20:02:31.79ID:yReWMSiw BB(M)が扱える公理系ならどの公理系を選んでも値は同じ どの公理系を選ぶかなんて考える必要は無い その辺はBB(4)となんら変わらない