Klassifizierung von Beweisverfahren: z. B. konstruktive Methode, Kontraposition