• Опорная задача по Теорема о Юлиной красоте.

Дано: Соня,Юля,Вера,Сонин жирный зад,неопределённая тётка.

Условие:Тётка сказала, что Соня и Юля - сёстры.

Найти:способ убить Тётку

Решение: докажем Теорему о том, что Юля красивая.

Все знают, что Вера - красивая. А так как Соня Верина сестра, то она

тоже красивая. Но так как тётка сказала, что Соня и Юля сёстры (т.е

они идентичны), то Юля сестра и для Веры. А по аксиоме о Вериной

красоте, Юля тоже красивая.ч.т.д

Отсюда единственный способ убрать доказательство

(или сделать теоремы недоказуемой) - зарезать Тётку.

решено.