A = {所有形如 P(t1, t2, …tn)的元素}。这里，P(x1,…, xn)为出现于S中的任一谓词符号，而t1, t2, …tn为S的H域中的任意元素。即把H域中的东西填到S的谓词里去。 　　上例题的原子集为： 　　A = { P(a), Q(a, a), R(a), P(b), Q(b, a), Q(b, b), Q(b, a), R(b), P( f(a,b)), Q(f(a, b), f(a, b)), R(f(a, b), P(f(a,a)), 　　P(f(b,a)), P(f(b,b)),……) 　　一旦原子集内真值确定好（规定好），则S在H上的真值可确定。不可数问题转化成为了可数问题。S中的谓词是有限的，是可数的，因此，A也是可数的。 　　论域D上公式G或子句集S的H域的建立，仅依赖于S中出现的几个函数符号，以及S中出现的D的几个常量符号，或D中的一个常量符号，这些都是可数的H域比一般论域D简单的原因。