Beweisverfahren

• Beweistechniken
• Strukturelle Induktion
• Beweis durch Widerspruch
• Indirekter Beweis