Stav dette: Introducing philosophy of mathematics