Focuses on the elaboration of the basic structure of deduction, introducing quantifiers such as "all," "none," and "some.".