>>618

>「co-tail は、構成的に書けない」

否

・Nの場合、co-tailは存在しない
・N~の場合、co-tailは、∞番目の項１つ（つまり構成できる）

ついでにいうとR^NのNを超準的自然数とし
集合{1,2,3,･･･}を標準的自然数として区別して、
非標準的自然数の箇所をco-tailとするのは反則です
（注：標準的自然数と非標準的自然数の明確な境界は存在しない）

つまり、自然数のモデルを標準モデルで考えるなら
全て標準モデルで通さなくてはならないし
自然数のモデルを超準モデルで考えるなら
全て超準モデルで通さなくてはなりません

二枚舌は使えない　これが数学の基本