- 752 名前：１３２人目の素数さん [2021/04/02(金) 22:42:18.29 ID:GgQCi+Pr.net]
- >>689
>1）例えば、下記の「0 := {{}}, suc(a) := a ∪ {a} と定義したならば、・・・のような多少複雑な自然数になる。」のところを、しっかり読んで理解しなよ（”ペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べる”とある）
全然質問に答えてないですよ？
{{}}なる集合が突然現れてますが、空集合{} にどのように"通常の集合演算"を施したら{{}}になるんですか？
それを聞いてるんですけど。国語壊滅してますか？
aとは何？
>任意の集合 a
でいいの？
だったら、suc({})={}∪{{}}={{}}=0 だから、0の前者が存在することになるけどいいの？
"∪"を使ってますが、これは"通常の集合演算"なんですか？
集合演算とは何で、"通常の"集合演算とは何ですか？前者であって後者でないものが"通常でない"集合演算なんですよね？
なんで"通常の"集合演算に限定するんですか？
>2）それで、”数1を空集合{} ”にして、適当に後者関数 suc(a) を使って、ペアノの公理を認めれば、1から始まる自然数の集合Nが構成できるよね（0はまだ構成できていないが）
関数が突然現れてますが、関数って"数学的要素"なんですよね？
空集合{} にどのように"通常の集合演算"を施したら関数になるんですか？
それを聞いてるんですけど。国語壊滅してますか？
ペアノの公理が突然現れてますが、ペアノの公理って"数学的要素"なんですよね？
空集合{} にどのように"通常の集合演算"を施したらペアノの公理になるんですか？
それを聞いてるんですけど。国語壊滅してますか？
|
 |
