Цитата:
Сообщение от Reitarou
Что ж, это мне еще больше нравится. )
|
у Гёделя всё почти как у бравого солдата Швейка - поскольку из любого ложного высказывания следует любое другое ложное высказывание , то любую систему ложных высказываний можно замкнуть на самое себя.
Я немного упрощаю - оно называется "теоремы о полноте", Соответственно можно вполне успешно доказывать то , что бог есть и одновременно доказывать то , что бога нет. Просто эти системы не должны между собой пересекаться при использовании.