Статья 259

Заштрихованные части схемы обозначают, что среди основных правил НС нет структурных и непрямых логических правил, а есть только прямые логические правила.

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

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