Aczel's anti-foundation axiom
From Wikipedia, the free encyclopedia
Aczel's anti-foundation axiom is an axiom set forth by Paul Aczel in his book Non-Well-Founded Sets. It states that every finite graph corresponds to one or more sets.
[edit] See also
[edit] References
- Goertzel, Ben (1994). "Self-Generating Systems", Chaotic Logic: Language, Thought and Reality From the Perspective of Complex Systems Science. Plenum Press. ISBN 978-0306446900. Retrieved on 2007-01-15.
- Varol Akman, Mujdat Pakkan. "Nonstandard Set Theories and Information Management" (PDF). Retrieved on 2007-01-15.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
