Bender, Peter: Noch einmal - Zur Rolle der Anschauung in formalen Beweisen. In: Studia Leibnitiana. Vol.1989. 2009, page 98-100