Aczel's anti-foundation axiom

GPTKB entity