5 ms·

I would be surprised to find second order logic discussed in an introductory discrete math curriculum.