Aksiomo de Cantor-Dedekind - Aliaj lingvoj