I mean mathematical logic, where you study proofs as mathematical objects, among other things. The topic used to be called "metamathematics". An old fashioned

I mean mathematical logic, where you study proofs as mathematical objects, among other things. The topic used to be called "metamathematics". An old fashioned intro class would usually build up the machinery to prove Gödel's incompleteness theorem, do a little model theory, maybe some set theory, etc. I think a lower level discrete math class wouldn't touch any of this. See: https://en.wikipedia.org/wiki/Mathematical_logic https://en.wikipedia.org/wiki/Mathematical_logic