Complete theory

<h2 id="examples">Examples</h2>
<p>Some examples of complete theories are:
</p>
<ul><li><a href="/facts/Presburger_arithmetic/9R0WMG3h">Presburger arithmetic</a></li>
<li><a href="/facts/Tarski%27s_axioms/3Mzy6Sl1">Tarski's axioms</a> for <a href="/facts/Euclidean_geometry/V6cTcoCy">Euclidean geometry</a></li>
<li>The theory of <a href="/facts/Dense_order/EVVQI3V6">dense</a> <a href="/facts/Linear_order/xnTtmuYJ">linear orders</a> without endpoints</li>
<li>The theory of <a href="/facts/Algebraically_closed_field/HuVQClok">algebraically closed fields</a> of a given <a href="/facts/Characteristic_(algebra)/D2VzcQaG">characteristic</a></li>
<li>The theory of <a href="/facts/Real_closed_field/Vj1Un2fw">real closed fields</a></li>
<li>Every <a href="/facts/Morley%27s_categoricity_theorem/gTmQNu12">uncountably categorical</a> <a href="/facts/Countable_set/Wj4DmWPv">countable</a> theory</li>
<li>Every <a href="/facts/Omega-categorical_theory/XcqDMRJQ">countably categorical</a> countable theory</li>
<li>A <a href="https://math.stackexchange.com/q/159124">group of three elements</a></li>
<li><a href="/facts/True_arithmetic/tc6WIjRa">True arithmetic</a> or any other <a href="/facts/Elementary_diagram/MbRlH3xB">elementary diagram</a></li></ul>
<h2 id="see-also">See also</h2>
<ul>
<li>Philosophy portal</li></ul>
<ul><li><a href="/facts/Lindenbaum%27s_lemma/m3dkkLSX">Lindenbaum's lemma</a></li>
<li><a href="/facts/%C5%81o%C5%9B%E2%80%93Vaught_test/dNGW7USD">Łoś–Vaught test</a></li></ul>

<ul><li>Mendelson, Elliott (1997). <i>Introduction to Mathematical Logic</i> (Fourth ed.). Chapman & Hall. p. 86. <a href="/facts/ISBN_(identifier)/15AdSPa9">ISBN</a> 978-0-412-80830-2.</li></ul>

Complete theory open-in-new

Complete theory