小学校の掛け算順序問題×9

小学校の掛け算順序問 ..

96:１３２人目の素数さん
15/03/17 17:03:51.34 1D0F+2gF.net
>>89
Xにおける自然数は、既に>>90で定義した。すなわち、Bである。
このBに対しては、たとえば次のような定理が成り立つ。
・∀b,c∈B [ f(b,c)∈B ].
これは、
"任意の自然数 b と c に対して、b＋c は自然数である" ★
という内容の定理である。
余計な先入観を省くために、抽象的に「写像f」のままで書いてきたから、
意味が解読しにくいかもしれないが、しかし、そのような意味である。
今の段階では、具体的なフォーマットが全く定義されてないのに、
それでも★が言えていることに注意されたい。
Bから出発して有理数まで到達するのは非常に面倒くさいのでご勘弁。★だけで十分だろう。
もともと「自然数くらいならやってみせてもいいけどね」ということだったしな。
あとは、あなたが大学数学を勉強すればいいだけの話。

次ページ

続きを表示

1を表示