Ackermann went on to construct consistency proofs for set theory (1937), full arithmetic (1940), type-free logic (1952), and a new axiomatization of set theory (1956).
Аккерман работал над доказательством непротиворечивости теории множеств (1937), полной арифметики (1940), свободной логики (1952) и новой аксиоматизацией теории множеств (1956).