Auf dem Weg zu einem untypisierten Beweis von Con (NF)