22/01/16 21:08:31.61 UCRiVL/x.net
>>304
>ペアノ公理を誤解しているぞ。ペアノ公理は、自然数に最大限が無いと当時に、自然数を並べたら無限列ができることを主張しているよ(こちら主だ)
なんか笑っちゃいますね
自然数列 0,1,2,… とは恒等写像 i:N→N, i(n)=n のことですよ?
ペアノの公理は自然数が満たすべき条件を述べたものです。ペアノの公理を書いてごらんなさい。書かずに妄想するから理解できないんです。
それであなたは宿題「ZF上で自然数全体の集合Nを構成し、Nがペアノの公理を満たすことを証明せよ」を未提出ですよ?学生なら落第です。