Metamathematics of the alternative set theory. III. Antonín Sochor (1983) Commentationes Mathematicae Universitatis Carolinae