אקסיומת הבחירה – שפות אחרות