完全公式

完全公式(complete formula)亦稱孤立公式.能確定一個型的公式.設T是可數語言丫中的完全理論，抓xi,xz,"..}x..,)是羅的公式.如果對丫中的每個公式}(x,}xZ,...,x‑)，在T }Cdx‑x2,...}xR)(州x,，xz，…，xn)~滬( x,，xz，…，x}))及T }(dx‑xz，…，二，)(So(x,，xz，…}x}>}} }(二:，二:，…，x,} ) )中都恰有一條成立.則稱滬為對1.完全的.簡稱滬為完全公式.