alternative set theory