[過去ﾛｸﾞ] ０は自然数か？ [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
468: 2017/12/01(金)19:27 ID:lyEXLDDs(6/7) AAS
>>467
話が進まないから、俺の方から話を進めるぞ。
お前は後者関数という言葉を知っているのだから、
suc(n)＝n＋1
が成り立つようなペアノシステムの具体例を
必ず目にしているはずだ。にもかかわらず、なぜお前は
＞後者関数は「n+1」じゃねーから
このような滅茶苦茶な発言をするのだ？理解に苦しむぞ。お前は
「正負の概念」「正負の "堺" という概念」「 0 の概念」「 1 の概念」
を持ち出した上で後者関数の話をしているのだから、お前は
「整数全体」
を土台として後者関数を語っていると推測される。
一方で、整数全体には、あらかじめ足し算「＋」が定義されている。
従って、その演算「＋」を拝借して >>458 のようにペアノシステム (X, 0, f) を作れば、
「 0 から始まっているペアノシステム」
が得られることは明白であり、写像 f はペアノシステム (X, 0, f) における後者関数であり、
f は 0 を 1 に対応させているのに、なぜお前はこれらのことを認めないのだ？
本当に理解できてないのか？そんなにお前はバカなのか？
上下前次1-新書関写板覧索設栞歴
あと 534 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.092s*