
Antifoundation axiom
Posted:
Mar 6, 2013 7:59 AM


The following theory Violates foundation in preference to somewhat plausible axioms.
ZF  foundation + For all x. Exist H(x) + for all x. x subnumerous to H(x) + AntiFoundation Axiom: An infinite Dedekindian finite set exists.
Where H(x) is the set of all sets hereditarily subnumerous to x.
Zuhair

