Логическая задачка
Jan. 2nd, 2012 05:01 pm![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
alekoksan.livejournal.com posting in ![[community profile]](https://www.dreamwidth.org/img/silk/identity/community.png){kind=small}
useless_faqУ нас есть некая формальная непротиворечивая система. Будет ли являться непротиворечивой формальная система, построенная на отрицании аксиоматики первой?
UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.
UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.
no subject
Date: 2012-01-04 03:02 pm (UTC)