The goal of the course is to achieve mastery of: the first-order predicate calculus with identity.