<?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 logic - Page 18 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Mathematical_logic&amp;p=17">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Mathematical_logic&amp;p=19">3.Next</a>
</p>
<p>of the <a href="page.php?w=parallel_postulate">parallel postulate</a>, established by <a href="page.php?w=Nikolai_Lobachevsky">Nikolai Lobachevsky</a> in 1826, mathematicians discovered that certain theorems taken for granted by Euclid were not in fact provable from his axioms. Among these is the theorem that a line contains at least two points, or that circles of the same radius whose centers are separated by that radius must intersect. Hilbert developed a complete set of <a href="page.php?w=Hilbert%27s_axioms">axioms for geometry</a>, building</p><p>
<a accesskey="1" href="page.php?w=Mathematical_logic&amp;p=17">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Mathematical_logic&amp;p=19">3.Next</a>
</p>

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

</card>
</wml>
