Имеющий Цель:
Вот тут Кантор тоже добавлял какую-то свою "аксиому непротиворечивости". Такие вещи вообще-то должны доказываться. А это просто гипотеза, что было бы если бы.
http://ru.wikipedia.org/wiki/Континуум-гипотеза
Это обратные рассуждения, когда мы цели делим на подцели, то есть подбираем возможные причины, которые тоже не доказаны, но из которых цель следует. Тут истины нет изначально, истина отслеживается с начала, в математике от аксиом, а в прикладных науках от фактов. В прямом направлении мы можем отслеживать оценку шагов, если шаг в рамках условий он считается истинным. А при обратном рассуждении выводы наследуют неизвестность. Такие воздушные замки, они до реальности могут и недотянуться. Зато если дойдут, у нас будет готовый проект как уже в материале отстроить все до нужной цели. Тогда как если идти снизу, ограничивась одними истинами, совсем не факт что мы попадем в цель. Можно еще сравнить с лабиринтом, когда мы его видим сверху и ищем проход и от входа к выходу, и от выхода к входу. Можно начать и из любого места в середине, но тогда нужна третья оценка, эти зависимости будут условно истинными относительно этого начала, то они все скопом становятся истинными если мы дойдем из этого пункта до начала лабиринта. А если дойдем оттуда до конца лабиринта, этот пункт можно объявить целью, дальше мы можем искать как попасть в него, а как из него выйти мы уже знаем.