I.P12 — Countability of Set(tau)

|Set(tau)| = aleph_0. All tau-sets are countable. No Cantor diagonal, no uncountable sets, no non-measurable sets. Everything constructive.