  HMC sets are hereditarily at most countable sets. We rework a part of
analysis of univariate real functions so that it (substantially) uses only HMC
sets and present some applications. 1. By integrating functions
$f\colon[u,v]_{\mathbb{Q}}= \{a\in\mathbb{Q}\;|\;u\le a\le v\}\to\mathbb{R}$ we
carry out, with only HMC sets, Hilbert's proof of transcendence of
$\mathrm{e}$. 2. We give a version of Hilbert's proof based on quasi-formal use
of power series. 3. We prove, using only HMC sets, Liouville's theorem that
transcendental numbers exist. 4. We construct a uniformly continuous function
$f\colon[0,1]_{\mathbb{Q}}\to\mathbb{R}$ satisfying for every
$a\in[0,1]_{\mathbb{Q}}$ that $f(\frac{1}{\sqrt{2}})=\frac{1}{\sqrt{2}}>f(a)$
and $f'(a)=1$ (the value $f(\frac{1}{\sqrt{2}})$ is of the continuous extension
of $f$). 5. In conclusion we ask if FLT can be proven by means of only HMC
sets.
