ヨコだけど集合論や基礎論の話してれば特に断りなければωは最小の無限順序数でしょ?