Displaying similar documents to “Metamathematics of the alternative set theory. II.”