A consistency-proof of a formal theory of Ackermann's ordinal numbers
scientific article; zbMATH DE number 3168660