<?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="Universal quantification - Page 5 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Universal_quantification&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Universal_quantification&amp;p=6">3.Next</a>
</p>
<p>would seem to be an infinite <a href="page.php?w=logical_conjunction">logical conjunction</a> because of the repeated use of "and".  However, the "etc." cannot be interpreted as a conjunction in <a href="page.php?w=formal_logic">formal logic</a>, Instead, the statement must be rephrased:<blockquote>For all natural numbers n, one has 2·n = n + n.</blockquote>This is a single statement using universal quantification.</p>

<p>This statement can be said to be more precise than the original one. While the "etc." informally includes <a href="page.php?w=natural_number">natural number</a>s,</p><p>
<a accesskey="1" href="page.php?w=Universal_quantification&amp;p=4">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Universal_quantification&amp;p=6">3.Next</a>
</p>

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

</card>
</wml>
