Angenommen, NP = co-NP und das Polynom begrenzen die Länge des Beweises der Unzufriedenheit für eine 3-CNF-Instanz . Dann gibt es keine Ergebnisse auf , was bildet einen Beweis Unerfüllbarkeit für die Länge kann nehmen?
Dh im Allgemeinen müsste ein solcher Beweis zum Beispiel die volle Kraft der Logik zweiter Ordnung über unendliche Strukturen nutzen (mir ist bewusst, dass der Satz zu beweisen - dass eine Formel unbefriedigend ist, in Logik zweiter Ordnung über ausgedrückt werden kann endliche Strukturen, aber Zwischenschritte im Beweis, um dorthin zu gelangen, erfordern möglicherweise Überlegungen zu unendlichen Strukturen.x x ≤ p ( x )
Wäre es möglich, ein solches Ergebnis zum Nachweis von NP co-NP zu verwenden, da es kein effektives, vollständiges und solides Inferenzsystem für Logik zweiter Ordnung gibt ?