0596132人目の素数さん垢版2018/05/13(日) 17:49:20.25ID:E7bnfRCz >592 で主張したい事と >593 で主張したい事は全く別物なんだ。 分かりにくくてスマン。 >592 で示したいのはペアノシステムが2つ組で十分って事で >593 で示したいのは先頭が1で後者が÷2であるような体系も自然数と同じように議論できるって事