 &gt; &gt;and might need many different definitions depending on context.
&gt; &gt; &gt;
&gt; &gt;[Pat Hayes]
&gt; &gt; &gt; But then that begs the question. If truths can be dependent on
&gt; &gt; &gt; 'context' then we can just say that 'large heap' depends on context.
&gt; &gt; &gt; How do you cash out this contextuality in axioms?
&gt; &gt; &gt;
&gt; &gt;   We can't avoid the contextuality of natural language; ignoring
&gt; &gt;*that* would be begging the central question of natural
&gt; &gt;language un