 The distinction between formal and informal proofs has led to much examination of current and historical mathematical practice, quasi-empiricism in mathematics, and so-called folk mathematics, oral traditions in the mainstream mathematical community or in other cultures.The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.The word "proof" comes from the Latin "probare" (to test).