→ Vulpix : 要先定義加法。 03/27 01:35
我用遞迴函數跟後繼集合定義加法
數字皆為自然數，以集合定義
※ 編輯: jack41402 (101.12.43.187 臺灣), 03/27/2020 12:18:00
如題
網路上很少 交換律與結合律 的證明
想請問大家如何證明兩者？
主要是為了證明 1+ 1 = 2定義的加法符合加法性質
謝謝
-----
Sent from JPTT on my Samsung SM-G955F.
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.12.43.187 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1585232180.A.ABA.html