Kásler Miklós: Egy Gödel nevű matematikus bizonyította, hogy minden matematikai képlet egy másik képlettel cáfolható