The [](Lower_attic.md)
contains countable infinite ordinals which can be proven to exist in
[ZFC](ZFC.md "ZFC").
## Pages in category "Lower attic"
The following 13 pages are in this category, out of 13 total.
<td><h3 id="a">A</h3>
<li><a href="Admissible" title="Admissible">Admissible</a></li>
<h3 id="c">C</h3>
<li><a href="Church-Kleene" title="Church-Kleene">Church-Kleene</a></li>
<h3 id="e">E</h3>
<li><a href="Epsilon_naught" title="Epsilon naught">Epsilon naught</a></li>
<li><a href="Extended_Veblen_function" title="Extended Veblen function">Extended Veblen function</a></li>
<h3 id="f">F</h3>
<li><a href="Feferman-Sch%C3%BCtte" title="Feferman-Schütte">Feferman-Schütte</a></li>
</ul></td>
<td><h3 id="i">I</h3>
<li><a href="Infinite_time_Turing_machines" title="Infinite time Turing machines">Infinite time Turing machines</a></li>
<h3 id="l">L</h3>
<li><a href="Limit_ordinal" title="Limit ordinal">Limit ordinal</a></li>
<li><a href="Lower_attic" title="Lower attic">Lower attic</a></li>
<h3 id="m">M</h3>
<li><a href="Madore%27s_%CF%88_function" title="Madore's ψ function">Madore's ψ function</a></li>
<h3 id="o">O</h3>
<li><a href="Omega" title="Omega">Omega</a></li>
</ul></td>
<td><h3 id="o-cont.">O cont.</h3>
<li><a href="Omega_one_chess" title="Omega one chess">Omega one chess</a></li>
<h3 id="s">S</h3>
<li><a href="Small_countable_ordinals" title="Small countable ordinals">Small countable ordinals</a></li>
<li><a href="Stable" title="Stable">Stable</a></li>
</ul></td>