哥德尔 β 函数