塔斯基在〈形式化語言的真理概念〉中指出類演算語言無法區分類的有限性與無限性。這一點是由一定理表示出來。它告訴我們任何在無限基數的個體域中為真的語句,我們可以找到一有限基數的個體域,該語句在此有限個體域中為真。本文試著說明該(無限性的)定理與其他相關定理。討論的主題是我們可以找到一個反倒來反對該定理。反例中的一個語句,可以在無限基數的個體域中為真,但不會在任何有限基數的個體域中為真。
為了持續優化網站功能與使用者體驗,本網站將Cookies分析技術用於網站營運、分析和個人化服務之目的。
若您繼續瀏覽本網站,即表示您同意本網站使用Cookies。