論域- 維基百科，自由的百科全書 - Wikipedia

論域 維基百科，自由的百科全書 跳至導覽 跳至搜尋 此條目沒有列出任何參考或來源。

(2018年5月8日)維基百科所有的內容都應該可供查證。

請協助補充可靠來源以改善這篇條目。

無法查證的內容可能會因為異議提出而移除。

在形式科學裡，論域（或稱做論述全集），是指在某些系統化的論述裡的一些令人感興趣的變數之上，由其中的實體所組成的集合。

論域通常被視為預備知識，所以不需要每一次都指出相關變數的範圍來。

例如，在一階邏輯的解