It is well known that the set for rational numbers is countable. Cantor using thediagonal argumentproved that the set [0,1] is not countable. Thus the irrational numbers in [0,1] must be uncountable. So basically your steps 4, 5, & 6, form the proof.