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 und

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.