Konstruktionen und Existenzzeugen

Objekte explizit, rekursiv oder schrittweise erzeugen und ihre verlangten Eigenschaften vollständig verifizieren.