bounded operator：有界算符

"邊界值問題","boundary-value problem" | "有界算符","bounded operator" | "有界電漿","bounded plasma"

bounded universal quantifier：有界全稱量詞

不幸的是,在戴維斯找到的關聯中用到了一個被稱為有界全稱量詞(Bounded Universal Quantifier)的邏輯算符. 如果沒有這個有界全稱量詞,他就可以證明所有的遞歸可枚舉集都是丟番圖集,大功也就告成了. 可是數學證明是差不得分毫的,因為有了這個有界全稱量詞,