Indukcja pozaskończona – Inne języki