Херман Вайл — Други езици