When you teach basic math, do you start with introducing the student to proof theory I know that it isn't your main point, but I when Sal inevitably moved to C

When you teach basic math, do you start with introducing the student to proof theory I know that it isn't your main point, but I when Sal inevitably moved to CS, I was hoping he would start with theoretical CS first. He seems strongest on mathy topics, and I think his style of teaching could be very useful in that area.