task1 - проверка доказательства в исчислении высказываний. task2 - теорема о дедукции в исчислении высказываний. task3 - построение доказательства выражения в исчислении высказываний. task4 - теорема о дедукции в исчислении предикатов. task5 - проверка доказательства в формальной арифметике. task6 - выражение некоторых операций через примитивно рекурсивные функции. task6.5 - функция Aккермана через рекурсивные функции.