Larger ordinals rely on replacement less directly.
較大的序数則不那么直接地依赖于替代公理。