.вот.

[burlilka]

«Все, что уже существует, не требует доказательств.
Все доказательства суть попытки чем-то стать.
Любое доказательство истинно только для самого себя.
Оно не свидетельствует ни о чем, кроме наличия доказательств,
а это [абсолютно] ничего не доказывает».

Comments

[arina_skripka]

Як заўжды ў тэму !!!
;о)

[animatreexter]

...что и требовалось доказать! твой Живой Ж. ожил значит не всё потерянно.
привет от Все-высшего\низшего

[lmpslmb]

мне кажется я тебя знаю
или мне просто кажется
а может я тебя знаю
мне может все это кажется
вообще все кажется
хм

[burlilka]

ого. приятно. да через столько времени. я помню весьма отчетливо ваш овощной салат и совершенно безбашенную лекцию об уме. это все, конечно, только в том случае, если я ничего не путаю. хотя, и это не особенно принципиально..

[0ji]

Во всякой достаточно богатой непротиворечивой теории первого порядка (в частности, во всякой непротиворечивой теории, включающей формальную арифметику), формула, утверждающая непротиворечивость этой теории, не является выводимой в ней.