Metadata
Author: WikiMatrix
Data
English[en]
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).
Dutch[nl]
Tevens schreef hij consistentiebewijzen voor verzamelingenleer (1937), volledige rekenkunde (1940), type-vrije logica (1952) en een nieuwe axiomatisering van verzamelingenleer (1956).