Kategorie:Beweisbarkeitslogik/Definitionen