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

[alekoksan.livejournal.com]

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

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

Comments

[alekoksan.livejournal.com]

Есть Н систем. С помощью 2 доказываем непротиворечивость 1, с помощью 2 - 3,и т.д. с помощью системы 1 доказываем непротиворечивость Н. Профит.

[silur.livejournal.com]

Учтите, что каждая последующая система является метасистемой для предыдущей. А в рамках системы абсолютно ничего нельзя уверждать о метасистеме =)))