Ein Kurs zum Beweisen in der Sprache der naiven Mengenlehre und erste empirische