In this paper, we demonstrate the existence of reasonable non-classical set theories in which the Axiom of Choice, Zorn's Lemma, and the Well-Ordering Theorem are equivalent, using the framework of algebra-valued model construction of set theories. We also investigate the non-classical behavior of well-ordering with respect to belongingness.