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

[alekoksan.livejournal.com]

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

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

Comments

[eterevsky.livejournal.com]

Что такое не0? 0 - терм, логическая операция "не" к нему неприменима.

[eterevsky.livejournal.com]

Учите матчасть. Я уже ответил в предыдущем комментарии.

[eterevsky.livejournal.com]

Очень сложно обосновать что-либо человеку, не знающему определений. Пожалуйста, возьмите произвольный учебник по мат. логике и прочтите в нём одну-две первые главы. (Я пишу с мобильника, так что искать ссылки мне сейчас не удобно.) После того, как вы познакомитесь с понятиями системы аксиом, теории, предиката, логических операций и т. п., я готов продолжить эту дискуссию.