Visualization of intuitive set theory

Ackermann functions are used recursively to define the transfinite cardinals of Cantor. Continuum hypothesis and axiom of choice are derived from the definition. An axiom which splits the unit interval into infinitesimals is stated. Using illustrations, the resulting set theory is visualized.