Talk:Aczel's anti-foundation axiom

From WikiProjectMed
Jump to navigation Jump to search

Replace "unique" with "exactly one"

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]