En términos generales, este axioma da un conjunto infinito según Dedekind, pues garantiza la existencia de un conjunto formula_6 sobre el cual existe al menos una función formula_137 inyectiva y no sobreyectiva (que claramente no existe para un conjunto finito).