El nombre se suele aplicar a teoremas de imposibilidad que eliminan posibilidades "atractivas" desde el punto de vista teórico.