Irrationals Exist - a simple and elegant proof without diagonals.solipsys.co.uk2 pointsColinWright15 years ago