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