http://alekoksan.livejournal.com/ (![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png)
alekoksan.livejournal.com) wrote in ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png)
useless_faq2012-01-02 05:01 pm
alekoksan.livejournal.com) wrote in useless_faq2012-01-02 05:01 pm
Логическая задачка
У нас есть некая формальная непротиворечивая система. Будет ли являться непротиворечивой формальная система, построенная на отрицании аксиоматики первой?
UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.
UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.
no subject