English, it 
can be defined in a logical language -- provided that it is meaningful, 
and the English is unambiguous in its intended context.


&gt; Whatever you decide, you had better get it done soon, as 
&gt; most of these files of axioms being produced will need to be entirely 
&gt; re-written, since every author writes axioms based on their own 
&gt; idiosyncratic answers to these (and other) questions, and their 
&gt; particular assumptions are built into their very way of thinking, and 
&gt; not made