The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.
V resnici je večina dokazov v zapisani matematiki pravzaprav raba neformalne logike.