Hay varias versiones de ese axioma, aparentemente diferentes entre ellas, pero que son equivalentes lógicamente.