Wie wäre es denn mit einem spez. Fall
dieses allgem. Satzes: “Wenn der Satz Q beweisbar ist, ist er wahr.”?