Grundzüge der modernen Analysis Eléments d'analyse - Dieudonné, Jean (Logik und Grundlagen der Mathematik, 1985)