bility to define a class or relation
&gt; &gt; by means of some condition like "x is red and x is an apple"?  That
&gt; &gt; only requires a reasonable class theory.
&gt;
&gt; MW: That's about it. I thought that using variables at all implied
&gt; Lambda Calculus.

Which, I take it, you now no longer think!

&gt; When I say something strange about logic, don't look
&gt; for anything complicated or deep when ignorance will provide an
&gt; adequate explanation.

*laugh*  Your humility is refreshing, especiall