Can the Axiom Schema of Comprehension be omitted from ZFC since it is implied by the Axiom Schema of Replacement?
Axiomatic ZFC Set Theory
Foster Antony
- 27
- 1