การพิสูจน์ :โครงการตำราวิทยาศาสตร์และคณิตศาสตร์มูลนิธิ สอวน.

คณิตศาสตร์เริ่มมาจากความคิด คณิตศาสตร์จึงเป็นสิ่งที่เป็นนามธรรม เราอธิบายข้อเท็จจริงต่างๆ ในคณิตศาสตร์โดยอาศัยการให้เหตุผล การให้เหตุผลที่ว่านี้จะต้องเป็นไปอย่างชัดเจนและรัดกุม หนทางที่จะทำให้เราทราบว่า ข้อความใดจริงหรือเท็จ จึงสามารถแสดงด้วยการให้เหตุผลตามหลักตรรกศาสตร์เราเรียกการแสดงดังกล่าวนี้ว่า การพิสูจน์ หนังสือเล่มนี้มีจุดประสงค์เพื่อหัดให้ผู้อ่านเขียนพิสูจน์ เราต้องอาศัยหลักตรรกศาสตร์ในการพิสูจน์ เราจึงเริ่มด้วยเรื่องนี้ในบทแรก ตามมาด้วยเรื่อง การพิสูจน์ ในบทที่ 2 ซึ่งประกอบไปด้วย การพิสูจน์แบบต่างๆ เพื่อที่จะได้นำมาใช้งานได้ตามความเหมาะสม และในบทสุดท้ายเป็นเรื่อง หลักอุปมัยเชิงคณิตศาสตร์ ซึ่งเป็นหลักสำคัญที่นำมาใช้ในการพิสูจน์ข้อความที่เกี่ยวข้องกับจำนวนนับ