First-order Logic is a fascinatingly deep and interesting topic. The level of abstraction is a requirement - it makes it far easier to work with, prove, and understand.

Source: 4th year mathematics student.