His system of axioms was modified by Skolem in 1922 to give what is today known as the ZFS system.
Kanyang sistema ng axioms ay binago sa pamamagitan ng Skolem sa 1922 upang bigyan ng kung ano ang ngayon ay kilala bilang ang ZFS sistema.