Wechselwirkungen: Logik und ``naive'' Mathematik

• Methoden aus der Logik
  • Sätze aus der Logik können in Sätze der naiven Mathematik ``übersetzt'' werden
    (Beispiel: Maß und Kategorie)
• Resultate aus der Logik
  • Logik zeigt, daß Fragen aus der naiven Mathematik keine Antwort haben, bzw nicht richtig gestellt sind
    (Beispiel: Verbände)
  • Logik beantwortet Fragen aus der naiven Mathematik
    (Beispiel: Gleichverteilung/Maßtheorie)