ペアノの公理ぐらい知ってます。（PAって何？とは思ったけど）
わたしは696.676です。
くわしくは>>676>>696を見てね。