Теоретическая логика, называемая также математик ческой или символической логикой, есть применение формального метода математики к области логики. Она применяет к логике тот же язык формул, который уже издавна употребляется для выражения математических отношений. В настоящее оремя было бы утопией при построении какой-либо математической дисциплины пытаться обойтись лишь обычным языком...