Бележка 5

Курт Гьодел демонстрира „теоремите на непълнота“, като използва трика наречен „парадокс на лъжеца“. Същността на „парадокса на лъжеца“ е, че верността на дадено твърдение не може да бъде оценена (доказана) чрез позоваване към (на основата на) истинността на самото твърдение.