Full Idea
The axiom of infinity with separation yields a least limit ordinal, which is called ω.
Gist of Idea
The axiom of infinity with separation gives a least limit ordinal ω
Source
William D. Hart (The Evolution of Logic [2010], 3)
Book Reference
Hart,W.D.: 'The Evolution of Logic' [CUP 2010], p.74