Este segundo teorema elimina cualquier esperanza de representar cualquier estructura infinita hasta el isomorfismo.