今手元にはないから不正確だが足立の自然数から作ってく本、斉藤の東大出版の、田中のPAが公理から詳しく書かれた本辺りがパッと浮かぶところ。まだあるけど思い出せん。全部公理は書いてない。