Voraussetzungen und Prinzipien C11
T.K54: KE(S,H,f) V´KV(H,S,H,f)
T.K55: KE(S,H,f) VA´I(H,S,f)
T.K56: KE(S,H,f,r) RVA´KV(H,S,H,f)
T.K57: RVAKV(Y,S,H,f,r) G(Y,RVAKV(Y,S,H,f,r))
T.K58: VAKV(Y,S,H,f,r) W(Y,VAKV(Y,S,H,f,r))
T.K59: KE(S,H,f,r) G´(H,RVA´KV(H,S,H,f,r))
T.K60: KV(S,H,f,r) I(S,f,RVA´KV(H,S,H,f,r))
T.K61: KV(S,H,f,r) I(S,f,G´(H,RVA´KV(H,S,H,f,r)))
T.K62: KE(S,H,f,r) K(G´(H,KV(S,H,f,r)),G´(H,T(S,f)))
T.K63: K(G´(H,KV(S,H,f,r)),T(S,f)) K(T´(H,r)
G´(H,KV(S,H,f,r)))
(RVA´KV(H,S,H,f,r) KE(S,H,f,r))
T.K64: (N.A) (N.C) (RVA´KV(H,S,H,f,p) G´(H,p))
wobei (N.A): G´(H,KV(S,H,f,p) G(S,p))
(N.C): G´(H,G(S,p) p)
T.K65: KV(S,H,f) Vr KV(S,H,f,r)
T.K65.1: KV
i
(S,H,f) ...