Can the Axiom Schema of Comprehension be omitted from ZFC since it is implied by the Axiom Schema of Replacement?
Post Closed as "Not suitable for this site" by Alain Valette, Eric Wofsey, Emil Jeřábek, Asaf Karagila♦, Peter LeFanu Lumsdaine