Matematická indukce – Další jazyky