Set Theory in the Foundation of Math; Internal Classes and External Sets

Leonid A. Levin

Usual math sets have special types: countable, compact, open, occasionally Borel, rarely projective, etc. Each such set is described by a single set-theoretic formula with paramete…