Volume I Set Theory, Infinity, and Foundations
Curry–Howard / Girard's paradox
Type-theoretic collapse when a type of all types is allowed.
Canonical solution
AI-generated reference summary for orientation; verify details independently.
A canonical reference summary is still being developed.
Alternate Solutions
No alternate solutions have been recorded.