Bunches
On 12/2/05, John E Clifford <clifford-j@sbcglobal.net> wrote:
> And there is at a very simple level
> Ax:x in a x in b => a in b
> whence
> Ax: x in ax in b & Ay: y in b y in a => a = b
>
> This still may not be totally explicit, but it
> does say that all that counts are individuals (if
> there are other things they are wholly determined
> by the indivuals and we have no other things
> offered so far.
That, together with Ex x in a, would seem to do it,
as far as I can tell.
Now all that remains is sorting out the axioms from the
theorems. 
mu'o mi'e xorxes