Αξίωμα της επιλογής - Άλλες γλώσσες