Proghiphop
    Login  

Was ist ein Beispiel für eine universelle Menge?

Advertisement

In der Von-Neumann-Bernays-Gödel-Satztheorie (NBG) gibt es eine universelle Klasse V, die als die Klasse definiert ist, die jeden Satz enthält. Während ZFC einfacher ist, sind die Vorteile von NBG überwältigend. Zum Beispiel ist NBG endlich axiomatisierbar in der Prädikatenlogik erster Ordnung. Dies ist der Grund, warum es in der automatisierten Theoremprüfung verwendet wird. Darüber hinaus, wenn beschränkt auf Probleme mit nur Sets, haben sie gleiche Beweisstärke.


Es gibt die universelle Klasse. In ZFC gibt es keine universelle Menge.

Reproduced please specify from Proghiphop and this article link: Proghiphop » Was ist ein Beispiel für eine universelle Menge?

Comments