А016, Математическая логика

3) Сократи и допиши введение. Часть информации оттуда можно разместить в первой главе перед тем, как ты пишешь формулировки теоремы.

4) Напиши, для какой формулировки ты будешь рассматривать доказательство.

5) Все доказательства должны быть приведены.

6) Начинай оформлять список литературы.

Это пока текущие замечания. Часть ещё отмечено по тексту. Плюс надо дописать работу до логического конца.

Комментарии научного руководителя