English Ackermann set theory Cited by user 2601:547:501:8F90:B99F:CF8E:E353:38A5 on 09 Sep 2022 In mathematics and logic, Ackermann set theory (AST) is an axiomatic set theory proposed by Wilhelm Ackermann in 1956.