Axiome D'anti-fondation

concept

axiome de la théorie des ensembles proposé par Peter Aczel en 1988

Propriétés