1. Tautologia, rachunek zdań oraz schematy równoważne

2. „Podstawowe” tautologie: (1.8…1.15)

3. Własności schematów równoważnych

4. Zdefiniować za pomocą v i ~ funktory: , >, >

5. Zdefiniować za pomocą B₈ (przypomnienie├ (p B₈q)~(pq)) funktory v,~, 

6. Reguła dowodzenia

7. Funkcja zdaniowa

8. Wniosek 2.1 (wzory (2.2)(2.3) i (2.4)

9. Twierdzenie 2.3 oraz Dowód punktu a)

10. Kwantyfikatory: ogólne, egzystencjalne. Pojecie zmiennej wolnej i związanej z kwantyfikatorem.

11. Twierdzenie 2.6 oraz jego dowód.

12. Tautologie rachunku funkcyjnego

13. Tautologie rachunku dot. rozdzielności kwantyfikatorów

14. Prawa przestawiania kwantyfikatorów

15. Tautologie (2.48)(2.49)

16. Twierdzenie 3.5 i jego Dowód.

17. Różnica symetryczna zbiorów

18. Twierdzenie 3.8 Dowód

19. Dopełnienie zbioru

20. Twierdzenie 3.12 Dowod (c….f)

21. Zbiór potęgowy, ciało zbioru

22. Twierdzenie 3.14 i Dowod punktu b)

23. Para uporządkowana, produkt kartezjański

24. Twierdzenia 3.15 3.16

25. Relacja dwuczłonowa

26. Relacja zwrotna, przeciwzwrotna itd.

27. Relacja równoważności , klasa abstrakcji, przestrzeń ilorazowa

28. Twierdzenie 3.20 i Dowod c i d

29. „Przetrawic” przykłady 3.3 i 3.7

30. Aksjomaty 4.1…4.5 dla zbioru liczb naturalnych.

31. Dodawanie i mnożenie liczb naturalnych

32. Twierdzenie (4.2) Dowod

33. Twierdzenie 4.4

34. Twierdzenie (4.6)(4.8)

35. Def (5.2) twierdzenie 5.2

36. Aksjomat 5.1

37. Zbiór przeliczalny

38. Twierdzenie 5.3

39. Twierdzenie (5.4) (5.5) (5.6) (5.7)

40. Twierdzenie 5.9 i dowod

41. Zbiory przeliczalne - przykłady

42. Zbiory nieprzeliczalne - przykłady

43. Nierówność dla liczb kardynalnych

44. Moc continuum

45. Twierdzenia(5.17)(5.18)(5.19)

46. Moc Continuum - przykłady

47. Funkcja charakterystyczna

48. Twierdzenie (5.22)(5.23)(5.24)

49. Twierdzenie 5.25 przykłady

50. Twierdzenie (5.26)(5.27)(5.28)

51. Twierdzenie (5.29) i dowód

52. Twierdzenie 5.31

53. Twierdzenie 5.32

54. Zastosowanie teorii równoliczności i mocy zbiorów