Set Theory and Left-Distributive Algebras