ahja, genau, das war's, danke für die schnelle antwort mit erklärung. ich erinnerte das nur am rande, weil das bei uns irgendwo am ende erwähnung fand, während sich der ganze kurs weniger auf mathematisch logik als auf diduktive schlüsse auf basis des dialektischen wahrheitsbegriffes bezog. die einschübe der mathematischen probleme waren, denke ich, eher gedacht, um die informatiker wachzurütteln, die dank ihres logikkurses, den sie im grundstudium besucht hatten, mehr oder weniger die ganze zeit schliefen....