>>58
>そもそも、1を始まりとするペアノ算術も普通に作れるんだから、
じゃ作ってみて
また口から出まかせかい? 君、口から出まかせ好きだねえ でも数学では口から出まかせは通用しないよ 諦めな