This research reviewed literatures on proof in mathematics education. Several views of proof can be classified (and identified) such as psychological approach (Platonism, empiricism), structural approach (logicism, formalism, intuitionism) and social approach (ontology, axiomatic systems). All these views of proof are valuable in mathematics education society. The concept of proof can be found in the form of analytic knowledge not of constructive knowledge. Human beings developed their knowledge in the sequence of constructive knowledge to analytic knowledge. Therefore, in mathematics education, the curriculum of mathematics should involve the process of cognitive knowledge development.