Hola,
Te felicito por la iniciativa. Siempre está bien tener la construcción de los reales mediante cortes de Dedekind con todos los detalles a mano en el foro.
Sobre el artículo en sí, estoy de acuerdo con la última crítica de argentinator (creo que queda mucho mejor los teoremas, definiciones, etc a la vista y los detalles en spoiler), y una errata: en el paso 1, a la primera consecuencia de (II) le falta algo. Creo que debería ser: Si \( p\in{\alpha} \) y \( q\not\in{\alpha} \) entonces \( p<q \).
Saludos