Fue añadido de manera posterior (a la axiomática resultante se la suele denominar ZFC).