Infinitary Logic
Infinitary logic allows infinitely long formulas and proofs, enabling properties not expressible in first-order logic. Key variants like L(ω1,ω) permit countable conjunctions and disjunctions with finite quantifier strings. These logics are studied in model theory and set theory.