Indukcja matematyczna – Inne języki