Abraham Fraenkel was a mathematician who worked on set theory and foundations. He is responsible for the âFâ in ZFC, but also did work using ZFA.
Among other things, he also introduced the basic and second Fraenkel models, early examples of forcing using what is now known as a permutation model?.