C12 Georg Meggle
L.0: (1) (2) (3´´)
L.1: MI(S,H,f,r) (1) (3)
L.2: MI(S,H,f,r) (2)
L.3: MI(S,H,f,r) (1) (d)
L.4: (2) G(S, K(G´(H,(d)),T(S,f))) I(S,f,G´(H,(2)))
L.5: I(S,f,G´(H,(2)))
G(S,K(G´(H, G
O
(S,K(G´(H,(d)),T(S,f)))),T(S,f)))
I(S,f,G´(H,I(X,f,G´(H,(2)))))
L.6: 0
n
(S,H,A) 0
n
-1(S,H,A) für alle n 1
L.7: 0*(S,H,A) G(S,A) Vn(TA.8n)
für alle n 1, zu (TA.8n) s. Grundbegriffe § 6.3.4
L.8: 0
n
(S,H,A) (TA.Sn) für alle n ≥ 1
Zu (TA.Sn) s. Grundbegriffe § 6.3.2
L.9: I*(S,H,f,r) 0*(S,H,I(S,f,T´(H,r)))
L.10: I*(S,H,f,r) T(S,f) G(S,I*(S,H,f,r))
L.11: I*(S,H,f,r) I*(S,H,f,I*(S,H,f,r))
L.11.1: I
m+n
(S,H,f,r) I
n
(S,H,f,I
m
(S,H,f,r))
L.11.2: I
n
(S,H,f,I
m
(S,H,f,r))