Kategorie:Beweisbarkeitslogik/Bemerkungen