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