The ordinal number ω·2 = ω + ω (using the modern definition due to von Neumann) is the first ordinal that cannot be constructed without replacement.
序数 ω·2 = ω + ω（使用冯·诺伊曼的现代定义）是第一个不使用替代公理就不能构造的序数。