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