>592 で主張したい事と >593 で主張したい事は全く別物なんだ。
分かりにくくてスマン。
>592 で示したいのはペアノシステムが2つ組で十分って事で
>593 で示したいのは先頭が1で後者が÷2であるような体系も自然数と同じように議論できるって事