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