Aczel's anti-foundation axiom
id:
aczel-s-anti-foundation-axiom-274-17699671
title:
Aczel's anti-foundation axiom
text:
In the foundations of mathematics, Aczel's anti-foundation axiom is an axiom set forth by Peter Aczel (1988), as an alternative to the axiom of foundation in Zermelo–Fraenkel set theory. It states that every accessible pointed directed graph corresponds to exactly one set. In particular, according to this axiom, the graph consisting of a single vertex with a loop corresponds to a set that contains only itself as element, i.e. a Quine atom. A set theory obeying this axiom is necessarily a non-wel
brand slug:
wiki
category slug:
encyclopedia
description:
Axiom of set theory proposed by Peter Aczel in 1988
original url:
https://en.wikipedia.org/wiki/Aczel%27s_anti-foundation_axiom
date created:
date modified:
2024-03-06T07:17:48Z
main entity:
{"identifier":"Q2874789","url":"https://www.wikidata.org/entity/Q2874789"}
image:
fields total:
13
integrity:
14