<p>thricedotted – yes, induction and irrationality proofs are introduced in secondary school. The first three weeks of that course seem geared toward consolidating much of the class’ advanced mathematics knowledge and beginning to look at what we ‘know’ already in a more rigorous way. Things get really fun around the 23 October problem set.</p>
<p>(It’s important to note that 16100, section 50 isn’t strictly taught, but rather a quarter-long Moore method approach to the real numbers.)</p>