- 616 名前：ｱとになる。
(略、本文ご参照)
S{} の要素のそれぞれは有限集合であろう！ 自然数のひとつひとつはそれに属すが、すべての自然数の集合 N は属さない（それは S{} の部分集合であるにもかかわらず）。 実際、X 上の上部構造はすべての遺伝的有限集合から成る。
このように、それは有限主義者の数学の宇宙と考えられる。 時代をさかのぼれば、19世紀の有限主義者レオポルト・クロネッカーはこの宇宙において仕事をしたことが思い出される。彼は、それぞれの自然数は存在するが、集合 N（完全な無限）は存在しないと信じていた。
しかし、S{} は通常の（有限主義者ではない）数学者にとっては不足である。なぜなら、N が S{} の部分集合として利用可能であるとはいえ、依然として N の冪集合は利用不可能だからである。 特に、実数の任意の集合は利用不可能である。 そのため、もう一度上記のプロセスを開始して S(S{}) を形成する必要があるだろう。
しかし、物事を単純に保つために、自然数の集合 N は所与として SN を形成し、N 上の上部構造をとってもよい。 これはしばしば通常の数学の宇宙であると考えられる。
例えば、普通の実数の構成（デデキントの切断）はどれも SN に属している。 超準解析も自然数の超準モデル上の上部構造において行うことができる。
宇宙が関心のある任意の集合 U であった前節からの哲学のわずかな転換に注意しよう。 研究される集合は、前節では宇宙の部分集合であったが、本節では宇宙の要素である。
(引用終り) [] - [ここ壊れてます]
|
 |
