
 Sy Friedman (Site not responding. Last check: 20071009) 
  One attractive way is to adjoin the axiom V=L, asserting that every set is constructible. 
  This axiom has many desirable consequences, such as the generalised continuum hypothesis, the existence of a definable wellordering of the class of all sets, as well as strong combinatorial principles, such as Diamond, Square and Morass. 
  As many interesting settheoretic statements have consistency strength beyond ZFC, it is now common in set theory to assume the existence of ``large'' inner models of the settheoretic universe, i.e., inner models containing large cardinals. 
 www.math.cas.cz /~krajicek/sy05.html (244 words) 
