よって，すべての a, b について成り立つ．
よって，交換律が成り立つ．
よって，f(1)=suc(a)，f(suc(x))=suc(f(x)) を満たす関数 f は自然数の和の性質を満たしている．
具体的に f がどんな関数か書いてみる．たとえば a=5 なら，
f(1)=suc(5)=6，f(suc(x))=suc(f(x)) を満たす関数 f は
f(2)=f(suc(1))=suc(f(1))=suc(6)=7，これが 5+2=7 を表す．
f(3)=f(suc(2))=suc(f(2))=suc(7)=8，これが 5+3=8 を表す．
①【モンスターボール】
②【スーパーボール】
③【ハイパーボール】
④【プレミアボール】
⑤【ダークボール】
⑥【ヒールボール】
⑦【クイックボール】
⑧【タイマーボール】
⑨【ダイブボール】
⑩【ネストボール】
⑪【ネットボール】
⑫【ゴージャスボール】
⑬【リピートボール】
⑭【スピードボール】
⑮【フレンドボール】
⑯【ルアーボール】
⑰【レベルボール】
⑱【ヘビーボール】
⑲【ラブラブボール】
⑳【ムーンボール】
㉑【ドリームボール】
㉒【コンペボール】
㉓【サファリボール】
㉔【ウルトラボール】
▒▓█▇▆▅▃▂▁ԅ(¯Д¯ԅ) ﾃﾞﾛﾃﾞﾛ
とにもかくにも、画像貼らないと
何が似合うとか分からないでしょ。
(҂ˋ•ω•„)ﾉㅁ゛ﾍﾟﾀｯ☆
あっ、日の方だった。
ミ(o _ _)o゛☆
月かと思ってた案件について…
絶対にムーンボール一旦やん、
( ˙-˙ )
残り少し頑張って下さいね！
|･∀･`)و゛
分かりやすい【死亡フラグ🚩】だな。
(〃•∀•„)尸゛
手持ちに無くて、
ポケモンホームから急遽出して来ました。
ƐɛƐɛƐɛ=͟͟͞͞(；ﾟ∀ﾟ)゛
居ますよ！パスワードは、
4565 2580 で潜ってます！
三(⁏㇀_ _)㇀゛
定理5 1+1=2 である．
証明 f(1)=suc(1), f(suc(x))=suc(f(x)) を満たす関数 f について，
f(1)=suc(1)=suc(suc(0))．つまりf(1)=suc(suc(0))．
f(1) は 1+1 の略記であり，suc(suc(0)) は 2 の略記であるから，1+1=2
よって，すべての a, b について成り立つ．
よって，交換律が成り立つ．
よって，f(1)=suc(a)，f(suc(x))=suc(f(x)) を満たす関数 f は自然数の和の性質を満たしている．
具体的に f がどんな関数か書いてみる．たとえば a=5 なら，
f(1)=suc(5)=6，f(suc(x))=suc(f(x)) を満たす関数 f は
f(2)=f(suc(1))=suc(f(1))=suc(6)=7，これが 5+2=7 を表す．
f(3)=f(suc(2))=suc(f(2))=suc(7)=8，これが 5+3=8 を表す．