An introduction to abstract reasoning in the context of real analysis. Topics will be drawn from the real numbers, mathematical induction, functions, sequences, and continuity. The emphasis is on formal mathematical reasoning and writing through proofs.