Ein Kurs Zum Beweisen in Der Sprache Der Naiven Mengenlehre Und Erste Empirische Ergebnisse