いや指数関数が入ってない場合は
β関数はもっと前に第一不完全性定理を証明するときに
既に導入されるでしょ