0395132人目の素数さん垢版 | 大砲2018/03/21(水) 11:50:21.68ID:LNHsiggq 貧弱な公理だとビジービーバー関数の値を適当に決めても矛盾を示すことが出来ないから ビジービーバー関数の値は公理依存 とかいう主張をしてた人がいた