A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system).
Формальная система (называемая также логическим исчислением или логической системой) состоит из формального языка вместе с аппаратом дедукции (дедуктивной системой).