<?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="Mathematical proof - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=mathematical_proof&amp;p=2">3.Next</a>
</p>
<p>A <b>mathematical proof</b> is a <a href="page.php?w=deductive_reasoning">deductive</a> <a href="page.php?w=Argument-deduction-proof_distinctions">argument</a> for a <a href="page.php?w=Proposition">mathematical statement</a>, showing that the stated assumptions <a href="page.php?w=logic">logic</a>ally guarantee the conclusion. The argument may use other previously established statements, such as <a href="page.php?w=theorem">theorem</a>s; but every proof can, in principle, be constructed using only certain basic or original assumptions known</p><p>
<a accesskey="3" href="page.php?w=mathematical_proof&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
