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

[alekoksan.livejournal.com]

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

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

Comments

[icona-mat.livejournal.com]

хороший у вас дилер, не подсобите телефончиком?

по сабжу: я, как блондинка, считаю, что да.

[alekoksan.livejournal.com]

Пифагор, Лобачевский, Гаусс, Бор, Гейзенберг. Дальше ищите сами)