Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.
|
|
Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Anti-foundation axiom
Replies:
11
Last Post:
Mar 15, 2013 6:00 AM
|
 |
|
|
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
|
|
|
|