Deney

Bir matematikçi, bir fizikçi ve bir kimyacıyı bir ay süreliğine ayrı ayrı odalara kapatmışlar. Odalarda kilitli bir buzdolabı ve çeşitli araç gereç varmış. Bir ay sonunda odaların kapılarını açıp bakmışlar. Fizikçi mekanik bir makine yaparak buzdolabının kapısını kırmış ve karnını doyurmuş. Kimyacı çeşitli elementleri karıştırarak bir sıvı yapıp buzdolabının kapısını eritmiş. Son olarak matematikçinin odasına girmişler. Matematikçinin kurumuş cesedi duvara dayanmış bir halde yerde kanla şunlar yazılıymış.
Teorem:
Buzdolabını açamazsam ölürüm.
İspat:
Buzdolabını açtığımı varsayalım.