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