  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 theorems of classical continuous mathematics can be
transfered to THS, prove consistency of THS and present some applications.
