任何科学理论都有它的研究对象，这些对象构成一个不空的集合，称为论域。论域是一个数学系统，分为原始域和非原始域（构造域）。