How did Georg Cantor’s set theory influence modern logic?

Georg Cantor’s development of set theory significantly influenced modern logic by providing a framework that allowed the language of mathematics to be reduced to set-theoretic terms, such as membership and equality.1

His work introduced systematic methods for handling infinite sets, a departure from earlier logical traditions that rarely addressed infinite classes or the formation of classes whose elements were themselves classes. By utilizing Bernhard Bolzano’s technique of measuring sets through one-to-one correspondences, Cantor and Richard Dedekind established a rigorous basis for defining infinite sets.23

While Cantor did not provide formal axioms for his theory, the paradoxes that emerged from his work—such as those identified by Bertrand Russell—forced logicians to refine the foundations of mathematics. These challenges led to the development of systems like Zermelo-Fraenkel set theory, which became a cornerstone of modern symbolic logic. Ultimately, Cantor’s contributions were fundamental to the progress of 20th-century extensional logic and remain essential to the study of continuity and infinity in mathematical logic.2134