Describir: Proper forcing y el problema del continuo