The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.
Η φιλοσοφία των μαθηματικών ασχολείται με το ρόλο της γλώσσας και της λογικής στις αποδείξεις, καθώς και των μαθηματικών ως γλώσσα.