Siendo más especifico:
Supongamos que para un cardinal transfinito k existe una única álgebra de ese cardinal. ¿esta álgebra debe ser libre?
(álgebra universal, las álgebras pertenecen a una variedad (clase cerrada bajo subálgebras, producto directo e imágenes homomorfas o equivalentemente una clase ecuacional)