A formal system for the alternative set theory - A non-extensional approach