Resultado de la búsqueda: cuantas proposiciones existen