Метаматематика

"Метаматематика — метатеория математики, предметом исследования которой
 являются логические основания математики.

Термин "метаматематика" буквально означает "за пределами математики".

Предметом метаматематики являются логические основания математики,
а методом является математическая логика."

Википедия, http://ru.wikipedia.org/wiki/Метаматематика

-------------------------



О да, я понимаю.
Вне любых физических процессов,
мы учимся получать тонкий срез
Дерева Жизни...
Но, может быть, - можно придумать
что-нибудь более веское,
чем собственно само доказательство?

Как, например, научиться жить,-
то есть вырасти - как можно выше,-
Дерево обязано думать об этом...--
Конечно, для этого важно изучать умом
все свои срезы... себя
искромсать на срезы...
Исправить ошибки природы
и на порядок, на два стать выше...

А может быть, надо просто стать толще,-
такая цель не противоречит здравому смыслу... --
Но тогда тоже изучать, в памяти держать
множество срезов...
- Или, возможно, как
глубже пустить корни...

Совсем есть нечто - по цели, абсолютно другое:
как - со всеми своими ветвями, корнями;
микроскопическими пускающими
друг в друга свет - крохотными зеркалами -
заслониться от
от лучиков чужих радостей...
Научиться не воспринимать совсем
чужие радости - стать очень и очень
мудрым...
Но и даже в данном случае
никуда не деться без
изучения срезов...

- Эмпирически,
СЛЕДОВАТЕЛЬНО,
видно:
на искус любой
требуется ум -
сравнительная эквилибристика
доказательств...

Да, всем нам
очень важно понять, как жить!