Skolem was remarkably productive publishing around 180 papers on topics such as Diophantine equations, mathematical logic, group theory, lattice theory and set theory.

Skolem published around 180 papers on Diophantine equations, group theory, lattice theory, and most of all, set theory and mathematical logic.

1913-1996 Paul Erdös, Hungarian: Set and solved many problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory and probability theory

Homotopy Type Theory is an alternative foundation to set theory.

Any generic theory can be interpreted (inserted, translated) in set theory by converting its components into components of set theory.

Indeed, when research mathematicians talk about "set theory" today, they usually mean axiomatic set theory.

Any generic theory can be interpreted (inserted, translated) in set theory by converting its components into components of set theory.