On interpretability in set theories. II. Petr Hájek (1972) Commentationes Mathematicae Universitatis Carolinae