I.R28 — Inseparability of N and omega

Inseparability of N and omega: O_alpha (the positive naturals) is NOT a valid tau-internal set. No X in tau has Set(X) = O_alpha. The closest is Set(omega) = O_alpha union {omega} = N^+ union {infinity}. The counting scaffold and its closure point are inseparable — the set-theoretic expression of earned infinity.