“Gödel sagt || Gödels Satz sagt in indirekter Weise aus, daß er nicht beweisbar ist.” – Was sagt also das Gegenteil von Gödels Satz aus? || d.h. die Verneinung von Gödels Satz aus? || der verneinte Satz Gödels aus? || der verneinte Gödelsche Satz aus?