ビジービーバー関数の全域性を証明するためには「ビジービーバー関数が全域関数である」と
同値の公理を入れない限り無理では