Mata kuliah ini membahas tentang cara-cara membuat bukti dari teorema, seperti bukti langsung, bukti kasus, bukti kontadiksi, bukti sifat unik, bukti eksistensi, dan berbagai cara untuk membuktikan lainnya.