(资料图片)

完全公式(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.完全的.简称沪为完全公式.

本文到此分享完毕，希望对大家有所帮助。