0502132人目の素数さん垢版 | 大砲2017/07/10(月) 00:50:24.14ID:bFLO7M83 ビジービーバー関数の全域性を証明するためには「ビジービーバー関数が全域関数である」と 同値の公理を入れない限り無理では