Математичка индукција — Други јазици