Deje que %-%-% sea una colección de cardenales de tal manera que si %-%-% y %-%-%, entonces hay una incrustación elemental no trivial %-%-% con %-%-%.
¿Cuál es la fuerza de coherencia de la afirmación de que existen tales %-%-% para varios tamaños de %-%-%? En particular, ¿cuál es la fuerza de coherencia cuando %-%-% es una clase adecuada de cardenales?
