Изменения

Возьмем <tex>\delta_1, ..., \delta_m</tex> --- вывод формулы <tex>\alpha \rightarrow \beta</tex>. В ней <tex>\delta_m = \alpha \rightarrow \beta</tex>. Добавим <tex>\delta_{m+1} = \alpha</tex> --- это добавленная аксиома, и <tex>\delta_{m+2} = \beta</tex>, получим вывод <tex>\beta</tex>как М.Р. <tex>\delta_m</tex> и <tex>\delta_{m+1}</tex>. }} {{TODO |t=Кто понимает, что такое "М.Р."??}}  {{Лемма|statement=<tex>\vdash \alpha \rightarrow \alpha</tex>|proof=#<tex>\alpha \rightarrow (\alpha \rightarrow \alpha)</tex> (Сх. акс. 1)#<tex>(\alpha \rightarrow (\alpha \rightarrow \alpha)) \rightarrow (\alpha \rightarrow ((\alpha \rightarrow \alpha) \rightarrow \alpha)) \rightarrow (\alpha \rightarrow \alpha)</tex> (Сх. акс. 2)#<tex>(\alpha \rightarrow ((\alpha \rightarrow \alpha) \rightarrow \alpha)) \rightarrow (\alpha \rightarrow \alpha)</tex> (М.Р. 1, 2)#<tex>(\alpha \rightarrow ((\alpha \rightarrow \alpha) \rightarrow \alpha))</tex> (Сх. акс. 1)#<tex>\alpha \rightarrow \alpha</tex> (М.Р. 4, 3)