Софпория

[maximk]

Допустим, теория противоречива. Тогда в ней выводимо А и выводимо не А для некоторого утверждения А. Противоречие. Значит, первоначальное допущение неверно. Значит, теория непротиворечива.

[Mikhail_K]

maximk в сообщении #1714041 писал(а):

Противоречие.

Нету противоречия. Утверждения "в теории выводимо A" и "в теории выводимо отрицание A" не противоречат друг другу. Вот сами утверждения A и "не A" - противоречат. Но здесь не они.

[maximk]

Вот бы так каждую шутку разбирали - и на лекции б приходить не пришлось

[Mikhail_K]

(Оффтоп)

maximk в сообщении #1714043 писал(а):

Вот бы так каждую шутку разбирали - и на лекции б приходить не пришлось

Признаюсь, юмора я не понял

[maximk]

(Оффтоп)

Как показала практика, не каждый находит ошибку в этом рассуждении(,) не()смотря на ее очевидный характер