Después de reflexionar un rato sobre las pruebas de independencia en Teoría de Conjuntos que usan el método de “forzamiento” o forcing, una conclusión que se puede sacar es que no es tan anti-intuitivo poder agregar un conjunto nuevo, i.e., que no se pueda obtener a partir de los ya existentes usando las operaciones usualmente aceptadas de definición de conjuntos. Por ejemplo, no nos produce ninguna inquietud tomar un anillo arbitrario $k$ y adjuntarle un elemento trascendente sobre él, obteniendo $k[x]$.
Continue reading →