O Goedlu i niesprzeczności w matematyce

 https://www.polskieradio.pl/23/266/artykul/175067,kurt-gödel