グッドスタインに関してはちょっと勉強してみるよ。
ペアノを改良するならどうすれば良いのかっての考えてみる。