Без заголовка

как раз согласны )) я назвал некоторые конструкции формальной системы так с точки зрения метатеории, кот орая описывает предметную теорию, а именно логику, привычным всем термином "аксиомы" описывать какието вещи предметной теории на неформальном языке метатеории вещь обычная