Каким образом можно сочетать фантастический принцип генетического проектирования и принцип библиотеки моделей? Оказывается, очень просто. Из математики известны формальные аксиоматические теории: например, есть геометрия Евклида и геометрия Лобачевского, существуют разные аксиоматизации самой евклидовой геометрии. В каждой из аксиоматических геометрий есть набор неопределяемых понятий, таких, как точка, прямая, плоскость. Есть набор аксиом, которые связывают эти понятия в рамках теории. Пример аксиомы: через две точки можно провести одну и только одну прямую. Почему? Это аксиома! И есть правила логики, по которым вы можете из этой аксиомы вывести все следствия. И все остальное, что в этой теории верно, доказывается с помощью логики. То есть теория может состоять из сотен, тысяч утверждений, которые описывают, что такое дверь, окно, потолок, каковы их свойства. Грубо говоря, проект организации тоже можно рассматривать как некую теорию, где имеется несколько неопределяемых понятий и аксиом, – это генотип, а все остальное является следствием или описанием в этих терминах. Поэтому если вы логически непротиворечивым путем из законов геометрии и физики извлекаете устройство этого здания, то оно стоит и не падает. Если же вы ошибетесь в чем-нибудь, то оно обрушится вам на голову.
