ω完全(m-complete )。邏輯理論的一種性質.設T為}_ {+, " ,S,0}中的理論，如果對丫中每個公式抓x)，都有:若T }抓0),T }抓1),T }抓2)，…，則T } }/ x抓x).這時稱T是。完全的.
