1＋1＝2を証明してください！ 1とは何か、+とはどういう操作か。最近の流儀は順序数を使うものだが、ペアノの公理を使うのが簡単だろう。１．0∈ℕ２．∀n∈ℕ,n'∈ℕ３．∀n∈ℕ,n'≠0４．∀n≠m∈ℕ,n'≠m'５．数学的帰納法の原理上の公理で定義される集合をℕを自然数と呼ぶ。0'を1、1'=0''を2と記述する。+：ℕ²→ℕを以下に定義する。１…