Die Not der Beweisführung beginnt mit der Einführung exakter Begriffe.