To support the students into an in-depth analysis of the main results of first order classical logic and to study some of their remarkable consequences.