透過您的圖書館登入
IP:3.135.197.201
  • 期刊

塔斯基論無限性的一個定理

Tarski on a Theorem of Infinity.

摘要


塔斯基在〈形式化語言的真理概念〉中指出類演算語言無法區分類的有限性與無限性。這一點是由一定理表示出來。它告訴我們任何在無限基數的個體域中為真的語句,我們可以找到一有限基數的個體域,該語句在此有限個體域中為真。本文試著說明該(無限性的)定理與其他相關定理。討論的主題是我們可以找到一個反倒來反對該定理。反例中的一個語句,可以在無限基數的個體域中為真,但不會在任何有限基數的個體域中為真。

關鍵字

無限性 類演算 個體域 基數 傳遞關係 反身關係

延伸閱讀