Frege's theorem

Frege's theorem is a significant result in the foundations of mathematics and logic, attributed to the German mathematician and philosopher Gottlob Frege. It establishes the connection between logic and mathematics, specifically concerning the foundations of arithmetic. At its core, Frege's theorem asserts that the basic propositions of arithmetic can be derived from purely logical axioms and definitions. More specifically, it shows that the arithmetic of natural numbers can be defined in terms of logic through the formalization of the concept of number.