A theory of hyperfinite sets

P. V. Andreev, E. I. Gordon

We develop an axiomatic set theory -- the Theory of Hyperfinite Sets THS, which is based on the idea of existence of proper subclasses of big finite sets. We demonstrate how theore…