Paradox Lost
If we accept the two axioms here, a unit interval can be visualized as a set (of infinitesimals) of cardinality aleph-null. An infinitesimal lying at two-third the way along the unit interval can be represented by the set
0.1010101 … = {1,3,5,7, …}
and the infinitesimal itself as a higher cardinal, strictly containing the above set. We consider the infinitesimal as an impregnable integral unit which even the axiom choice cannot penetrate. Since the unit interval turns out to be virtually of cardinality aleph-null, Skolem paradox does not arise in IST.