Изменения

Формальная система - упорядоченная тройка <tex>\langle L, A, R \rangle</tex>, где <tex>L</tex> --- некоторый язык, <tex>A \subset L</tex> --- множество аксиом, а <tex>R /\subset (L^2 \cup L^3 \cup ...)</tex> - множество правил вывода