Date: Mar 6, 2013 7:59 AM Author: Zaljohar@gmail.com Subject: Anti-foundation axiom The following theory Violates foundation in preference to somewhat
ZF - foundation
For all x. Exist H(x)
for all x. x subnumerous to H(x)
Anti-Foundation Axiom: An infinite Dedekindian finite set exists.
Where H(x) is the set of all sets hereditarily subnumerous to x.