Teaching set theory to six-year-olds as a way into mathematics, from arithmetic on, would come to be considered misguided, overcomplicating the basics and introducing jargon.

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...