БОГ. Гёдель. Вассерман.

[maksym_tt]

Аксиоматическая система может быть:

1)"Не полная" в такой системе можно сформировать утверждение которое которое Нельзя НЕ доказать НЕ опровергнуть.

ИЛИ

2)"Протеворечива" в такой системе можно сформировать утверждение которое которое Можно И доказать И опровергнуть.

Вассерман -

Введение аксиомы "Бог" делает систему полной а значить "Противоречивой"

Comments

[dom3d]

Рассуждения Вассермана слушать, зря терять время.
Почему он решил, что кто то должен ему доказывать, что Бог есть.