Pioneer who helped formalize set theory; associated with the early axiomatization that leads to ZFC.
Lex Fridman