The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.
Филозофија математике се бави улогом језика и логике у доказима, и математике као језика.