ZFC has an infinite number of axioms because the Replacement axiom is actually an axiom schema.

• ZFC有无穷多个公理,因为替代公理实际上是公理模式。