ω邏輯

ω邏輯(ω一logic)一種模型論邏輯.指滿足自然數理論的一種邏輯.設}_ }+,·,s,o}.由獷中的一階邏輯公理和推理規則加上。規則，並允許無限長的證明，這樣構成的邏輯稱為。邏輯.