Kiválasztási axióma - További nyelvek