語言基數

語言基數(cardinality of a language)模型論的基本概念之一它是語言中全體邏輯符號的非邏輯符合集的基數.語言丫的基數記為}}獷}}，定義如下:日獷}{一。U，其中。是自然數集的基數，}獷}表示在獷中出現的非邏輯符號集合的基數.例如，若獷=}}} ",'}0,1}，則}.}}=5,}}獷}}一。.如果}}獷}}是可數的，稱獷為可數語言;如果!}羅}}是不可數的，則稱獷為不可數語言.