English Aczel's anti-foundation axiom Cited by user David Eppstein on 07 Dec 2013 In the foundations of mathematics, Aczel's anti-foundation axiom is an axiom set forth by, as an alternative to the axiom of foundation in Zermelo–Fraenkel set theory.