Cantor Diagonal Inapplicability
Cantor's diagonal argument — the basis for the hierarchy of infinities — does not apply inside Category τ. The object closure axiom (K6) and the bounded wi…
Mathematics
Consequence reframing
ARITH
Book I
Public
Manuscript
Kernel
In plain language
Cantor's diagonal argument — the basis for the hierarchy of infinities — does not apply inside Category τ. The object closure axiom (K6) and the bounded wi…
Overview
Cantor’s diagonal argument — the basis for the hierarchy of infinities — does not apply inside Category τ. The object closure axiom (K6) and the bounded witness principle prevent the diagonal construction from producing a new object.
Result Statement
Cantor diagonal inapplicable: K6 and bounded witness prevent diagonal construction. No hierarchy of infinities. Status: Internally addressed.