I.T35 — Cantor Diagonal Inapplicability

Cantor diagonal argument is inapplicable in tau: the three prerequisites (unrestricted decimal expansion, unrestricted comprehension, free Cartesian diagonal) all fail within the earned set theory.