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