Rosser-Satz

Eine Variante eines Gödel-Satzes, konstruiert mit Rossers Trick, die die für Unvollständigkeit nötigen Hypothesen abschwächt: Sie liefert einen unentscheidbaren Satz für jede konsistente, rekursiv aufzählbare Theorie ohne die Forderung der ω-Konsistenz, indem sie ein modifiziertes Provabilitätsprädikat verwendet, das Beweisvergleiche einbezieht.