Andererseits sollen alle Sätze, die als „wahr“ interpretierbar sind, auch hergeleitet werden können.