Source: wikibot/ackermann-set-theory

= Ackermann set theory
{wiki=Ackermann_set_theory}