【パンサー尾形】笑わない数学【NHK総合】 Part2 (597ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
25: １３２人目の素数さん [sage] 2023/11/25(土)22:34 ID:ip+Td+YO(1/2)
>>5
0でも1でもええやんて思うがな
ペアノの公理は自然数の持つべき性質を挙げたもので
自然数の存在やその一意性はまた別の話とは確かにそうだろうけど
ペアノはコレで
あるべき自然数を定義したと思ってたんじゃないの？
知らんけど
26(2): １３２人目の素数さん [sage] 2023/11/25(土)22:40 ID:ip+Td+YO(2/2)
>>5
ヒルベルトプログラムについては子な人の言う通りのような気がすー
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.028s