Cantor-Dedekind axiom