Quy nạp toán học – Theo ngôn ngữ khác