質問: 交換、結合法則の証明(自然数の和) 自然数の和で、交換・結合法則が成り立つことはそれぞれどのように証明できるのでしょうか?考えてみたのですが、私には「明らか」としか思えません。 気になるので、どうしたら証明できるのかを教えていただきたいです。 よろしくお願いします。
回答: 実数論からはじめると公理になっているので証明する必要がないと思いますが、ペアノの公理系から始めると数学的帰納法を使って証明するんだと思います.