Proposition: Jede nicht leere Teilmenge der natürlichen Zahlen hat ein Minimum Beweis Den Beweis ist man schuldig geblieben