sentence1: Wenn eine Aussage nicht nachweisbar ist, kann oder wird sich eine Inkonsistenz oder ein Selbstwiderspruch entwickeln, der das System ungültig macht.
sentence2: Sollte die Ankunft an diesem Punkt der Schwerpunkt für die Prüfung eines jeden Systems sein?