Title: Untersuchungen über die Metamathematik der Ackermannschen Mengenlehre