实数的集合，此命题即是假的，因为有"x" = √2 做为反例；若论域为自然数的集合，此命题是真的，因为2 不可能是任何自然数的平方。论述全集一词通常是指在特定论述中被讨论的一群物件。在模型论的语义里，论述全集是指由模型所依据的实体所组成的集合。数据库是指由一个系统在某一角度上的真实所建成的模型。通常称此类事实为"论述全集"或"论域"。