Ω-論理
Ω論理(Ω-logic)は、集合論ではW. Hugh Woodin (1999)によって提案された無限論理と演繹体型である。