18/02/28 12:00:09.52 UChOtQl4.net
>>26
前提をひっくり返すな
実数体が与えられたとき、メタレベルの操作「1 を自然数回足す」によって、自然数全体を実数体の部分集合として構成できる
というのがおまえの主張だったはずだ
解析学の教科書の話なので一階の実数論ではあり得ない
（というか、一階の順序体でも結局は算術を含まないのだが）
おまえの言うように集合という概念すら制限するなら更に困難になるはずだが、それでもいいならどうぞ
18/02/28 12:00:09.52 UChOtQl4.net
>>26
前提をひっくり返すな
実数体が与えられたとき、メタレベルの操作「1 を自然数回足す」によって、自然数全体を実数体の部分集合として構成できる
というのがおまえの主張だったはずだ
解析学の教科書の話なので一階の実数論ではあり得ない
（というか、一階の順序体でも結局は算術を含まないのだが）
おまえの言うように集合という概念すら制限するなら更に困難になるはずだが、それでもいいならどうぞ