Mathematical Refusals

Why refusals matter

The mathematics agenda is not only defined by what the kernel must recover. It is also defined by what the kernel refuses to import as primitive background: unrestricted power sets, unrestricted comprehension, unrestricted choice, arbitrary nonconstructive existence, completed uncountable totalities, silent contraction, impredicative large universes, and unqualified theorem transfer.

These refusals do not mean that classical mathematics is meaningless or invalid. They distinguish primitive ontology, object-language representation, constructive recovery, bridge transfer, and external classical proof.

Refusal items

Foundational lineage

The tau-kernel stands near constructive mathematics, finitistic and ultrafinitistic discipline, and linear or substructural logic. It is not identical to any of those traditions. Its specific burden is to recover enough mathematics for reality-description under stricter coherence constraints and with explicit boundary behavior.