Dobře uspořádaná množina – Další jazyky