Return to Revisions

Notice that you can drop the axiom of replacement or replace it by a weaker reflection principle. Without this axiom you have less consistency strength—it might still be consistent even if ZFC is not consistent. You would not loose that much. Of course many results in set theory would become meaningless (regarding various axioms, large cardinals etc.), but in most situations in mathematics this axiom is not that important.