cs, and they
&gt; have been formalized, axiomatized, and reasoned and computed
&gt; with in great depth in many different ways for a long time.
&gt; 
&gt; The big question is not whether they belong in the SUO.  The
&gt; answer to that is simple:  yes, of course.
&gt; 
&gt; Even the issue of writing definitions and axioms for them is
&gt; not a big problem.  There are plenty of axiomatizations for all
&gt; of them that can be taken out of the literature of math, logic,
&gt; and physics, dusted off, and tran