Jelen bejegyzésünkben a matematikai logika eszközeivel élve szeretnénk bebizonyítani, hogy a közmondások által alkotott axiómarendszer ellentmondásos. Vegyük az alábbi két axiómát a közmondások közül:
1) Az vagy, amit megeszel.
2) Kutyából nem lesz szalonna.
Tekintsük a következő állítást: "Létezett valaha legalább egy kutya, mely legalább egyszer szalonnát evett." Ez könnyen láthatóan igaz. Ekkor viszont az 1) axióma miatt ez a kutya szalonnává változott. A 2) axióma alapján már triviálisan következik az ellentmondás.
Egyértelműen következik ebből, hogy be kell tiltani a közmondásokat, mert használatuk ellenkezik a józan ésszel!
(by mesti)