Ω-論理
 
Ω論理（Ω-logic）は、集合論ではによって提案された無限論理と演繹体型である。