Где-то я встречал термин «райский сад», т. е. некая сущность, возникшая из ничего, у которой не было предшествующей стадии, т. е. невозможная для появления из предыдущего состояния. Давайте посмотрим пример.

 

Известная большинству играющих в шахматы ситуация — мат двумя конями. Два коня и король против вражеского короля действительно не могут поставить мат. Т.  е. никакое развитие этой ситуации не способно из этой позиции перейти в позицию мата. За исключением вмешательства внешней силы — если противник решит помочь игроку, то вместе они могут поставить кооперативный мат.

 

Я привёл такое вступление, чтобы напомнить вам о первой теореме о неполноте Гёделя:

 

Читать дальше http://www.seoded.com/2017/12/blog-post_19.html