The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.
A filosofía das matemáticas trata sobre o rol da linguaxe e a lóxica nas probas, e sobre as matemáticas en calidade de linguaxe.