Vopěnka's alternative set theory