Обобщенные правила вывода и теоретико-доказательственные свойства натуральных исчисленийстатья