14/06/24 22:51:55.34
>>545
解ってないのは、お前だ。
整数を構成して、さて、これが環であるか否か
なんて、ペアノまがいの遊びの話はしていない。
最初から環であるものとして整数を定義する
話をしているんだ。公理的定義とは、そういうもの。
そこから得られた正整数としての自然数と
日常の直感における「自然数」が同じかなんて、
直感の側の問題でしかない。
14/06/24 22:51:55.34
>>545
解ってないのは、お前だ。
整数を構成して、さて、これが環であるか否か
なんて、ペアノまがいの遊びの話はしていない。
最初から環であるものとして整数を定義する
話をしているんだ。公理的定義とは、そういうもの。
そこから得られた正整数としての自然数と
日常の直感における「自然数」が同じかなんて、
直感の側の問題でしかない。