<?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="Axiom of choice - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=axiom_of_choice&amp;p=2">3.Next</a>
</p>
<p>In <a href="page.php?w=mathematics">mathematics</a>, the <b>axiom of choice</b>, abbreviated <b>AC</b> or <b>AoC</b>, is an <a href="page.php?w=axiom">axiom</a> of <a href="page.php?w=set_theory">set theory</a>. Informally put, the axiom of choice says that given any <a href="page.php?w=Family_of_sets">collection</a> of non-empty sets, one can identify another set containing one element chosen from each set, even if the collection is <a href="page.php?w=Infinite_set">infinite</a>. Formally, the axiom establishes <a href="page.php?w=Existential_quantification">existence</a></p><p>
<a accesskey="3" href="page.php?w=axiom_of_choice&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
