>>403
何のためにペアノ算術を含む、という条件が含まれてるのか考えましょうねー