Если математика окажется противоречивой, сможем ли мы понять, какие из аксиом "конфликтуют" между собой?

Question

Виктор · Answer

Что значит: «<...> математика окажется противоречивой <...>». От случая к случаю лучше конкретизировать область, раздел, направление математики, т. к. противоречивость — свойство конкретной логичес...

Максим Лапиков · Answer

Обычно противоречивость доказывается именно указанием на противоречие. 
При этом можно сказать, что противоречие заключено в подсистеме аксиом, использованных при выводе этих примеров (часть аксиом...

Светов Виталий · Answer

Математика это язык описания окружающего мира. Отдельные дисциплины- диалекты Они описывают с разных сторон некие сущности, которые не могут быть описаны исчерпывающе и представляют некое множество...

Семен Быков · Answer

Математика это система знаний. Она не может быть противоречивой опять таки в "целом".
2+2=4 ? Как бы не так!  в поле по модулю 4 - это вообще не так!
Хотите расскажу, про то, как можно "низвергнуть...

Дети Рейв · Answer

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

Теперь Кью работает в режиме чтения

Если математика окажется противоречивой, сможем ли мы понять, какие из аксиом "конфликтуют" между собой?