Решение задачи следует оформлять в виде записи вывода в теории L, на каждом шаге записывая некоторую формулу и мотивировку шага, которой может быть: записанная формула есть 1) аксиома (получаемая подстановкой в схему аксиомы (1) –(3); подстановка должна быть указана), 2) гипотеза, 3) теорема (уже доказанная ранее формула) и 4) результат применения некоторого правила, как основного MP, так как и любого дополнительного из упомянутых выше.