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 để nhà nước 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 toán học nhận thức luận điểm của xem, logic trong lực lượng, logic 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 chỉ là một với quantifier: ∀n P (n). Từ một quan điểm giáo khoa của xem, sự ra đời của quantifier hầu như luôn luôn được ẩn trong các trường học (đặc biệt là trong thực tế của hình học Euclide cơ bản). Trong thực tế, một trong những khó khăn của học tập lý luận bằng cách tái phát liên quan đến sự hiểu biết và các cuộc biểu tình của một sự tham gia rộng rãi định lượng (Durand-chiến binh & al. năm 2000).
đang được dịch, vui lòng đợi..