<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Domain of discourse - Page 3 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Domain_of_discourse&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Domain_of_discourse&amp;p=4">3.Next</a>
</p>
<p>the concept is distinguished from a <a href="page.php?w=Universe_%28mathematics%29">universe</a>, which is some set internal to a <a href="page.php?w=set_theory">set theory</a>, whereas a domain of discourse is <a href="page.php?w=metamathematical">metamathematical</a>, allowing one to speak of the <a href="page.php?w=Universal_set">universe of sets</a> or collection of all <a href="page.php?w=Class_%28set_theory%29">classes</a> in a formal way.</p>

<p><big>Etymology</big></p>
<p>In 1847 <a href="page.php?w=Augustus_De_Morgan">Augustus De Morgan</a> used</p><p>
<a accesskey="1" href="page.php?w=Domain_of_discourse&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Domain_of_discourse&amp;p=4">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
