<?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="Metamathematics - Page 12 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=metamathematics&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=metamathematics&amp;p=13">3.Next</a>
</p>
<p>Frege declares to be quite hard and idealistic, however, not impossible task). Frege went on to employ his logical calculus in his research on the <a href="page.php?w=foundations_of_mathematics">foundations of mathematics</a>, carried out over the next quarter century.</p>

<p><big> Principia Mathematica </big></p>
<p>Principia Mathematica, or "PM" as it is often abbreviated, was an attempt to describe a set of <a href="page.php?w=axiom">axiom</a>s and <a href="page.php?w=inference_rule">inference rule</a>s in <a href="page.php?w=Mathematical_logic">symbolic logic</a></p><p>
<a accesskey="1" href="page.php?w=metamathematics&amp;p=11">1.Previous</a><br />
<a accesskey="3" href="page.php?w=metamathematics&amp;p=13">3.Next</a>
</p>

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

</card>
</wml>
