[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
325(2): 2023/03/09(木)20:30 ID:Ga+Qe+2k(4/14) AAS
>>324
せめてペアノの公理ぐらい真面目に引っ張って来ようよ…
ちなみに
>1に1を足して2という演算を考える。式で表せば1+1=2。
ここが定義するにあたって意味不明で間違い。
適当に調べたであろう後者関数と自然数の加算の定義が錯綜してる。
これにて査読終了
上下前次1-新書関写板覧索設栞歴
あと 677 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.840s*