<?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="Metalogic - Page 14 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=metalogic&amp;p=13">1.Previous</a><br />
<a accesskey="3" href="page.php?w=metalogic&amp;p=15">3.Next</a>
</p>
<p>the sentence: "The bicycle has become more popular recently." This distinction is used to clarify the meaning of <a href="page.php?w=symbol_%28formal%29">symbols</a> of <a href="page.php?w=formal_language">formal language</a>s.</p>

<p><big> History </big></p>
<p>Metalogical questions have been asked since the time of <a href="page.php?w=Aristotle">Aristotle</a>. However, it was only with the rise of formal languages in the late 19th and early 20th century that investigations into the foundations of logic began to flourish. In 1904, <a href="page.php?w=David_Hilbert">David Hilbert</a></p><p>
<a accesskey="1" href="page.php?w=metalogic&amp;p=13">1.Previous</a><br />
<a accesskey="3" href="page.php?w=metalogic&amp;p=15">3.Next</a>
</p>

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

</card>
</wml>
