This type of foundation posits that mathematics is essentially a branch of logic, and that mathematical concepts can be reduced to logical concepts. The goal of logicism is to provide a logical foundation for all of mathematics.
This type of foundation posits that mathematics is essentially a branch of logic, and that mathematical concepts can be reduced to logical concepts. The goal of logicism is to provide a logical foundation for all of mathematics.