SMS dit: Berkeley's philosophy of mathematics