Skip to main content
2 of 2
replaced staggeringly inappropriate tag
Yemon Choi
  • 25.8k
  • 9
  • 69
  • 156

Axiomatic ZFC Set Theory

Can the Axiom Schema of Comprehension be omitted from ZFC since it is implied by the Axiom Schema of Replacement?