<?xml version="1.0"?>
<div class="add">

<b>thus </b>1 = 
 <a href="ordinal1.html#K1" title="ORDINAL1:func.1">succ</a> 0

<br/>.= 
<span class="p1"><a href="tarski.html#K1" title="TARSKI:func.1">{</a><span class="default">0</span><a href="tarski.html#K1" title="TARSKI:func.1">}</a></span>

;<br/>


</div>
