Top-down and bottom-up philosophy of mathematics