On the metamathematics of impredicative set theory - Oberschelp A (Warszawa Panstwowe Wydawnictwo Nankowe, 1978)