17/09/27 19:02:40.10 9jbfOLsB.net
>>618
>「co-tail は、構成的に書けない」
否
・Nの場合、co-tailは存在しない
・N~の場合、co-tailは、∞番目の項１つ（つまり構成できる）
ついでにいうとR^NのNを超準的自然数とし
集合{1,2,3,･･･}を標準的自然数として区別して、
非標準的自然数の箇所をco-tailとするのは反則です
（注：標準的自然数と非標準的自然数の明確な境界は存在しない）
つまり、自然数のモデルを標準モデルで考えるなら
全て標準モデルで通さなくてはならないし
自然数のモデルを超準モデルで考えるなら
全て超準モデルで通さなくてはなりません
二枚舌は使えない これが数学の基本