Volume I Set Theory, Infinity, and Foundations

Skolem's paradox

First-order set theory has countable models that internally "prove" uncountability exists.

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.