A Logika topikból :)
Egy állítás, ami bizonyítható, az ugye igaz.
most vegyük ezt a mondatot:
"Ezt a mondatot nem lehet bizonyítani"
namármost ha ez a mondat hamis, akkor bizonyítható. Vagyis akkor ez igaz, így ellentmondásra jutunk.
Ha ez a mondat viszont igaz, akkor igaz az is, hogy nem bizonyítható.
De hát pont most mondtam el (most bizonyítottam), hogy nem lehet hamis a mondat, így bizonyítottam az ellenkezõjét, ami megint nem igaz :))