Cтраница 4
Выводы представляют собой либо последовательности, либо древовидные фигуры, составленные из формальных выражений согласно правилам вывода. Если в вершинах дерева вывода находятся только аксиомы, то формальное выражение, завершающее вывод, наз. [46]
Это сохранение ( инвариантность) размерности, однако, маскируется различием ее формальных выражений, обусловленным разным выбором основных единиц, а в некоторых системах - и некорректностью их построения. [47]