Чому так?

Курт Гедель довів, що несуперечність будь-якої достатньо потужної математичної системи не може бути встановлена засобами цієї системи.
Результат Геделя послужив підставою для таких висловів Германа Вейля:
"Бог існує, оскільки математика, безумовно, несуперечлива.
Але існує і диявол, оскільки довести її несуперечливість ми не можемо".