[mumu-and-gerasim]

Сообщение от Reitarou

Что ж, это мне еще больше нравится. )

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

Я немного упрощаю - оно называется "теоремы о полноте", Соответственно можно вполне успешно доказывать то , что бог есть и одновременно доказывать то , что бога нет. Просто эти системы не должны между собой пересекаться при использовании.