Поскольку не желающий слушать (а Вы слушать именно не желаете) хуже всякого глухого, то с этой веткой я завязываю. Но прежде отмечу следующее: и доказательство Генцена, и доказательство Нельсона (которое, строго говоря, относится к интуиционистской арифметике, но классическая в неё погружается), и моделирование формальной арифметики средствами ступенчатой семантики Маркова — всё это не формальные, а содержательные доказательства непротиворечивости. Если Вы не понимаете этих азов математической логики, то с Вами по обсуждаемому вопросу разговаривать просто не о чем.

(Reply to this) (Parent) (Thread)

От утверждения о том, что у теории множеств есть
модель, вы благополучно уклонились.

(Reply to this) (Parent)