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/Satz3.14b.prf

Length of proof is 3.  Level of proof is 3.
 
---------------- PROOF ----------------
 
2 [] -E(x,y,z,v)| -E(x,y,z2,v2)|E(z,v,z2,v2).
5 [] E(y,ext(x,y,w,v),w,v).
18 [] E(xa,xa,xb,xb).
21 [] -E(xb,xc,xa,xa)|xb=xc.
36 [] alpha!=gamma.
38 [] b=ext(a,b,alpha,gamma).
44 [para_from,38.1.2,5.1.2] E(b,b,alpha,gamma).
62 [hyper,2,44,18] E(alpha,gamma,x,x).
114 [binary,62.1,21.1] alpha=gamma.
115 [binary,114.1,36.1] $F.

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