Talk:Domain of discourse

From Wikipedia, the free encyclopedia

	Philosophy Portal This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
???	This article has not yet received a rating on the quality scale.
???	This article has not yet received an importance rating on the importance scale.
Additional information: Related task forces (core areas): Logic

[edit] ZFC

Presumably, the domain of discourse can not always be a set. For example, the domain of discourse in ZF set theory would be the collection of all sets. However, this in itself could not be a set since no set can be a member of itself.

Dude. Thats deep.

No, a model of ZFC is a set of sets, and that set is the domain of discourse. There is such a thing as a "class model" that is also used in set theory. But ZFC, like any other consistent first order theory, has ordinary models. — Carl (CBM · talk) 12:54, 7 September 2007 (UTC)