adı üzerinde bir teoremdir. içindeki unsurlar belirli bir şekilde yorumlandığı takdirde, aritmetiği içine alacak kadar kuvvetli bir formel dil dahilinde, ne kendisinin ne de tersinin "hypothetico-deductive" usulle ispatlanması mümkün olmayan hükümlerin var olduğu manasına gelir. Bu basit yorumlamanın ötesinde, bir ikinci derece denklemini dahi çözmekten aciz, sürüyle filozof bozuntusunun, süpermarket ulemasının, talk-show mütefekkirinin ürettiği ve şu anda da bir kanalizasyon patlaması şeklinde ortaya döktüğü zırva vardır ki, onlarla uğraşmak -bilhassa Türk piyasasındakilerle- sizin için ancak vakit kaybıdır.
