Förderung der Verfeinerung der mathematischen Grundlagentheorien