一応PRAくらいに思っとけば良いんじゃないの？

有限の立場の定式化なんて素数定理の初等的証明の
「初等的」とは何かとかそういうことと同じだって。