-
完全公式
鎖定
完全公式(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.完全的.簡稱滬為完全公式.
- 中文名
- 完全公式
- 外文名
- complete formula
- 定 義
- 能確定一個型的公式
- 詞條統計
-
- 瀏覽次數:次
- 編輯次數:3次歷史版本
- 最近更新: 践踏游戏