Existenz von Zahlen
Seien eine natürliche Zahl und verschiedene natürliche Zahlen. Es ist zu beweisen, dass entweder eine der Zahlen durch n teilbar ist, oder dass Zahlen existieren, so dass durch n teilbar ist.
Seien und natürliche Zahlen, für die und gilt.
Es ist zu beweisen, dass eine natürliche Zahl n existiert, so dass und gilt.