Анри Пуанкаре тоже ошибался.
Дабы не обобщайте и не обобщаемы будете….
А как вообще можно
математически доказать (не)существование того, что не имеет
математического определения?
В советских словарях слово "бог" определялось примерно так:
Советские товарищи писал(а):
Бог - по представлениям верующих, верховное существо, которое создало мир и управляет им.
Сразу же (пардон за тавтологию) напрашивается вопрос: а что такое
"мир"?
Лет 300 назад думали, что мир - это солнечная система. Потом думали, что галактика. Теперь мы думаем, что вселенная, хотя существует теория мультивселенной (multiverse). Что мы будем думать о мире лет через 300?
К чему я всё это несу? Да к тому, что прежде чем доказывать что-либо математически, нужно чётко определить, что именно мы хотим доказать.