549
Definitionen zur Abkürzung:
(Ex). fx . & . non (Ex,y). fx & fy ≝ (éx). fx
(Ex,y). fx & fy . & . non (Ex,y,z). fx & fy & fz ≝ (éx,y). fx & fy u.s.w.


(éx). fx ≝ (é 1x)fx
(éx,y). fx & fy ≝ (é !!x)fx ≝ (é 2x)fx u.s.w.
.