First order theory

Summary