Text this: Axiomatización de lógicas monadicas con varios cuantificadores cardinales