"Csirmaz-jegyzet 8.17 tétel"
"Theorem 5.8 (Göodel's Second Incompleteness Theorem)", nekem ez az utolsó tétel a Csirmaz jegyzetemben, bár ez már régi, 2007-es.