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