Tiên đề chọn – Theo ngôn ngữ khác