We show an axiom A such that there is no nontrivial interpretation of the alternative set theory (AST) inAST+A keeping ∈, sets and the class of all “standard” natural numbers. Furthermore, there is no interpretation ofAST inAST without the prolongation axiom, but there is an interpretation ofAST in the theory having the prolongation axiom and the basic set-theoretical axioms only.