*дело происходит в семье формальных систем*
-Мама, мама, а можно я вон то утверждение докажу?
-Доказывай, конечно!
-Ура! Спасибо!
-Пока молодой, ты можешь наслаждаться жизнью и доказывать любое истинное утверждение.
-А что же, когда я вырасту -- не смогу?
-Сможешь, конечно, но лучше этого не делать.
-А почему?
-Понимаешь, когда ты повзрослеешь, ты будешь
(
Read more... )