Twierdzenie Hartogsa (teoria mnogości) – Inne języki