Vergiß nicht: der Satz der von sich selbst aussagt, er sei unbeweisbar, ist als mathem Aussage aufzufassen. Denn das ist nicht selbstverständlich