ペアノの公理を使った、1+1=2の証明を行っている文献を教えてくださいm(_ _)m

ペアノの公理を使った、1+1=2の証明を行っている文献を教えてくださいm(_ _)m

質問者からの補足コメント

• 学校の宿題の研究で、文献を参考にしなければならないんです…

    補足日時：2018/08/13 19:00

No.1 ベストアンサー 回答者： varietyknowledge 回答日時： 2018/08/13 18:35

文献ではないですが、ペアノの公理を用いた1+1=2の証明は下記にあります。

http://tomo31415926563.hatenablog.com/entry/2009 …

ペアノの公理では0を自然数に含めています。（ペアノの第一公理）
学校で学習した自然数とは定義が違いますので注意して下さい。

No.2 回答者： Tacosan 回答日時： 2018/08/14 00:31

厳密にいうと, 「ペアノの公理」の中に「1」や「2」, あるいは「+」という記号は存在しなかったはず. つまり, ペアノの公理だけでは

1+1=2
という「式」自体定義がされていないのではなかったかな.