Где-то я встречал термин «райский сад», т. е. некая сущность, возникшая из ничего, у которой не было предшествующей стадии, т. е. невозможная для появления из предыдущего состояния. Давайте посмотрим пример.
Известная большинству играющих в шахматы ситуация — мат двумя конями. Два коня и король против вражеского короля действительно не могут поставить мат. Т. е. никакое развитие этой ситуации не способно из этой позиции перейти в позицию мата. За исключением вмешательства внешней силы — если противник решит помочь игроку, то вместе они могут поставить кооперативный мат.
Я привёл такое вступление, чтобы напомнить вам о первой теореме о неполноте Гёделя:
Читать дальше http://www.seoded.com/2017/12/blog-post_19.html