This type of philosophy of mathematics aims to reduce mathematics to logic, demonstrating that mathematical propositions can be derived from logical axioms and rules of inference.
This type of philosophy of mathematics aims to reduce mathematics to logic, demonstrating that mathematical propositions can be derived from logical axioms and rules of inference.