Younger students first encounter mathematical reasoning through observing similarities and differences between objects. As they develop and practise various types of inductive and deductive thinking, they move towards more formal reasoning and the writing of proofs.