字元集 (數理邏輯) 字元集在不同領域中有不同意義在邏輯學特別是數理邏輯中代表的是列舉出形式語言中非邏輯符號英语nonlogical symbol的一組集合在泛代數中則是列舉出代數結構具代表性的運算另外在模型論中兩種用法皆有使用 對邏輯學更哲學性的討論中字元集的概念較少被提及