Pada level perguruan tinggi, banyak mata kuliah yang menekankan pada aspek pembuktian matematis, baik dalam membaca bukti maupun mengkonstruksi bukti. Pembuktian memainkan peranan penting dalam matematika. Adapun peranannya adalah untuk memverifikasi kebenaran pernyataan matematika, menghilangkan ketidakpastian tentang proposisi matematika, dan meyakinkan suatu pernyataan. Namun kenyataannya, sebagian besar mahasiswa mengalami kesulitan dalam memahami dan mengkonstruksi bukti. Salah satu model untuk dapat meningkatkan kemampuan membuktikan matematis adalah Model PACE. Model PACE merupakan salah satu model pembelajaran berlandaskan konstruktivisme yang memiliki tahap/fase: Proyek (Project), Aktivitas (Activity), Pembelajaran kooperatif (Cooperative Learning) dan Latihan (Exercise). Model tersebut penting untuk diterapkan dalam pembelajaran matematika, karena dapat meningkatkan kemampuan membuktikan matematis.
Kata Kunci: Kemampuan Membuktikan Matematis, Model Pembelajaran PAC
