Study materials related to the theory of infinite sets, deduction theorems, and post theorems. Understanding composite functions, identifying elements in checked sets, and the Dirichlet principle