Gödelのβ関数