http://alekoksan.livejournal.com/ ([identity profile] alekoksan.livejournal.com) wrote in [community profile] useless_faq2012-01-02 05:01 pm
  • Add Memory
  • Share This Entry

Логическая задачка

У нас есть некая формальная непротиворечивая система. Будет ли являться непротиворечивой формальная система, построенная на отрицании аксиоматики первой?

UPD: Дорогие господа, задачка-то логическая. Так что ваши утверждения должны быть обоснованы логически. А то развели тут.