Logic của các đề xuất, rất gần trong cách của lý luận của học sinh, cho phép chúng tôi
để khẳng định rằng tái phát cho thấy tính hợp lệ của một tập hợp vô hạn các đề xuất.
Tuy nhiên, một quan điểm nhận thức luận toán học, logic có hiệu lực, la
hợp lý predicates hỗ trợ đệ quy không chứng minh một số lượng vô hạn của báo cáo, nhưng một
một mình với quantifier: ∀n P (n). Từ một giáo khoa điểm của xem, sự ra đời của
quantifier hầu như luôn luôn ẩn trong trường học (đặc biệt là trong thực tế
tiểu học hình học Euclid). Trong thực tế, một trong những khó khăn học tập các
lý luận bởi tái phát liên quan đến sự hiểu biết và cuộc biểu tình của một
tham gia phổ định lượng (Durand-chiến binh & al. năm 2000).
đang được dịch, vui lòng đợi..
![](//viimg.ilovetranslation.com/pic/loading_3.gif?v=b9814dd30c1d7c59_8619)