Christopher von B ulow

• Beweisbarkeitslogik: G odel, Rosser, Solovay