Date: Mar 6, 2013 7:59 AM
Author: Zaljohar@gmail.com
Subject: Anti-foundation axiom

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)
+
Anti-Foundation Axiom: An infinite Dedekindian finite set exists.

Where H(x) is the set of all sets hereditarily subnumerous to x.

Zuhair