En 1991, usando resultados entonces recientes de Matthew Foreman y Friedrich Wehrung, Janusz Pawlikowski demostró que la paradoja de Banach-Tarski se obtiene de ZF junto con el teorema de Hahn-Banach.