论域 論域英語Domain of discourse在形式科學裡是指在某些系統化的論述裡的一些令人感興趣的變數之上由其中的實體所組成的集合論域通常被視為預備知識所以不需要每一次都指出相關變數的範圍來 例如在一階邏輯的解釋中論域是指由量詞能指涉到的個體所組成的集合在一個解釋裡論域可以是實數的集合在另一個解釋裡則可能是自然數的集合若沒有指定任何論域則如x x   之類命題的真偽是不確定的若論域是實數的集合此命題即是假的因為有x   做為反例若論域為自然數的集合此命題是真的因為 不可能是任何自然數的平方 論述全集一詞通常是指在特定論述中被討論的一群物件在模型論的語義裡論述全集是指由模型所依據的實體所組成的集合 数据库是指由一个系統在某一角度上的真實所建成的模型通常称此類事实为论述全集或论域