Talk:Aczel's anti-foundation axiom

Latest comment: 2 years ago by Susy 11 in topic Replace "unique" with "exactly one"

Replace "unique" with "exactly one"

edit

The current formulation "every accessible pointed directed graph corresponds to a unique set" to me seems to be ambiguous, and initially I thought it meant that the "function" from accessible pointed directed graphs to sets is injective. Unless someone objects, (or I forget..) I'll replace it with "every accessible pointed directed graph corresponds to exactly one set". — Preceding unsigned comment added by Susy 11 (talkcontribs) 09:05, 27 January 2022 (UTC)Reply