Cтраница 2
Иногда может оказаться, что при систематическом построении таблицы после конечного числа шагов таблица будет все еще незамкнута, хотя все неатомарные вершины каждой открытой ветви были уже использованы. Это говорит о том, что на любой открытой ветви ни одна из 7 - Ф РМУЛ так и не появилась. Следовательно, в этом случае элементы открытой ветви являются множеством Хинтикка. [16]
В любом случае имеется много способов порождения бесконечного дерева ( таблицы) без привлечения множества Хинтикка. Ключевой проблемой является нахождение систематической процедуры, гарантирующей получение бесконечного дерева, каждая открытая ветвь которого является множеством Хинтикка. [17]