Примером автореферентности в математике является открытие, сделанное в ХХ веке К. Гёделем. Оно оказало огромное влияние на развитие логической мысли. Подобно канонам Баха и Эшера, основанным на простых и привычных образах (музыкальная гамма, лестница), теорема Гёделя берет свое начало в простых и интуитивных идеях. В самой упрощенной форме она сводится к переводу на язык математики старинного философского парадокса Эпименида (или парадокса лжеца). Он трактуется так: «Я лгу» или «Это высказывание – ложь». Данное суждение грубо нарушает обычное представление о том, что все суждения делятся на ложные и истинные, так как если мы на минутку представим, что оно истинно, то тут же увидим, что мы ошиблись, и на самом деле суждение ложно. Открытие сделанное Гёделем состоит в том, что ученый использовал математические рассуждения для анализа самих же математических рассуждений. Идея заставила математику заняться самоанализом.