Oberoende af alla theorier trormängden