Tiến và thoái là một chủ đề trong mạch Kiến tạo của ZO Math, nơi một ý tưởng toán học được nhìn qua hai chiều vận động: đi tới để xây dựng kết quả, và đi lui để lần lại cấu trúc của lập luận.
Nội dung
Quy nạp tiến lùi
Một bản thảo về cách nhìn quy nạp qua hai hướng: tiến về phía kết luận và lùi về phía điều kiện cần có.