1. Теория множеств 2. Понятие предикат 3. Составные высказывания 4. Алгебра — логики 5. Законы-логики