Text this: El retículo de las lógicas de primer orden con cuantificadores cardinales