dedekind cuts according the dedekind cut section a real number is a subset of the set of rational numbers but a rational number is a kind of real number which means that all rational numbers contain themselves which according to zf is impossible