Set Theory - Comprehension Axiom with Extentionality gives a unique witness

7 years ago