פורטל:מדעי המחשב/ציטוט נבחר/11

משפט זה סותר את עצמו - לא, בעצם הוא לא.

— דאגלס הופשטטר, מדגים את פרדוקס השקרן, אחד הכלים להוכחת משפטי האי שלמות של גדל.