This high school mathematics sequence guides students from the decimal representation of rational and irrational numbers through the formal logic of proof by contradiction, culminating in the classic proof of the irrationality of the square root of 2 and the exploration of closure properties in the real number system.