Title: Simplifying Set Theory