math2026/03/31加法交換律根據皮亞諾公理（Peano axioms）， 為後繼函數（Successor function），加法定義如下： A1: A2: 數學歸納法：Mathematical induction, MI 歸納假設：Inductive hypothe…additioncommutative propertyPeano axiomsMathematical induction