In mathematics and logic, Ackermann set theory (AST, also known as. ) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956. AST differs from Zermelo–Fraenkel set theory (ZF) in that it allows proper classes, that is, objects that are not sets, including a class of all sets.