Hoy he conseguido terminar la prueba de completud de los reales (si una secuencia es Cauchy en R, converge en R) y me ha costado un huevo y parte del otro.
No sé si habría sido más fácil con Dedekind cuts, pero el tema de la diagonalización de la secuencia límite no me acababa de entrar.

Talon
in reply to James Scholes • • •Tuukka Ojala
in reply to James Scholes • • •