>>842
だったら1の存在を公理に入れて、1から始めれば良いだけ。