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