Не знаю такого доказательства у Гёделя. Он доказал, что любая сложная формальная система либо противоречива, либо неполна. А вот логика Аристотеля построена на аксиомах. Они по определению истинны, ни от чего не зависят, не доказываются и не ставятся под сомнение.

Я и не говорил, что математика не работает. На матане вся физика держится. Я говорю, что математика нелогична, как и физика. Сила науки проявляется в ее способности предсказывать будущее, а не в том, насколько она логична. Но здесь речь об ЛЛМ. Как ему совместить логику и математику?