Bài giảng : Logic part 2
Trang 14: quy nạp Quy nạp toán học là một trường hợp đặc biệt của một nguyên lí tổng quat hơn. Trường hợp tổng quát, khi một tập được xác định một cách quy nạp, quy nạp có thể được sử dụng để chứng minh những vấn đề về những phần tử của tập đó. Định nghĩa quy nạp là cái gì?