Set Theory - Comprehension Axiom with Extentionality gives a unique witness

Set Theory - Comprehension Axiom with Extentionality gives a unique witness

13 years ago