Aufgabe 5.18
Kurs:Einführung in die mathematische Logik (Osnabrück 2021)/Vorlesung 5 R^N/Ideale/Filter/Korrespondenz/Aufgabe