Czy można udowodnić, że to nieprawda, że 2+2=5? Prawda i dowód to dwie różne rzeczy. Zresztą sama koncepcja prawdy w matematyce nie jest taka prosta. Przyglądamy się Twierdzeniu Gödla, według którego istnieją „nierozstrzygalne” rzeczy, których nie możemy ani udowodnić, ani obalić.