|
|
Anti-foundation 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)
+
Anti-Foundation Axiom: An infinite Dedekindian finite set exists.
Where H(x) is the set of all sets hereditarily subnumerous to x.
Zuhair
|
|
