Nächste Seite: Aufgabe 45
Vorige Seite: Aufgabe 43
Zeige, daß die in Definition 3.2 und 3.2 gegebenen
Definitionen der Annahme der Weltabgeschlossenheit
äquivalent sind. Dh. für beliebige Formelmengen W gilt
Christoph Quix, Thomas List, René Soiron
30. September 1996