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