politikacılar sık sık "halkımızın sağduyusuna güveniyoruz" derler. kimse de bundan gocunmaz. oysa halkın sağduyusuna güvenmek, halkın aklına güvenmemek demektir. aklı olduğu düşünülen birinin sağduyusuna değil, aklına güvenilir.
Gödel Teoremi. Programların durma ya da durmama özelliklerinin kanıtlanabildiği ve kanıtlanabilen tüm önermelerin doğru olduğu her biçimsel sistemde kanıtlanamayan doğru önermeler vardır.