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

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