1+1=2を証明しなさい

[4 それでも動く名無し 警備員[Lv.10] 2024/11/13(水) 20:22:41.20 ID:xxhVxoNw0]

等号公理により 1 + 1 = 1 + suc(0) = suc(1 + 0) = suc(1) = 2 となる。