Некто Ефанов К.В. "решил" проблему тысячелетия. https://www.litres.ru/konstantin-vladimiro/uravneniya-nave-stoksa-otsutstvie-resheniya-navier-st/
Весьма "оригинальное" применение теоремы Геделя:

Система уравнений и в том числе система уравнений Навье-Стокса является формальной системой. Как известно, в пределах формальной системы существуют вопросы, на которые в пределах этих систем нельзя найти ответа...

Получается, что с помощью данной теоремы можно "доказать" все что угодно, например, "неразрешимость" квадратного уравнения.

Извините, что ссылка на платную статью. Когда я с ней ознакамливался, она была бесплатной. Платной она стала после того как я опубликовал критический отзыв на litres.

https://science-freaks.livejournal.com/3009895.html