Выводы к разделу 5

В данном разделе показано, что на базе языка SC(SemanticCode), который является достаточно простым расширением фактографического языкаSCB(путем добавления переменных и введения множеств, элементами которых являются переменные), можно построить логический язык, тексты которого представляют собой не что иное, как представление реляционных структур определенного вида. И точно так же, как в языкеSCB, мы легко переходим от реляционных структур к реляционным метаструктурам, в языкеSCмы легко переходим от логических формул и формальных теорий к логическим метаформулам и формальным метатеориям.