1
     Es kann unter Umständen einen Kalkül geben der Sätze zerlegt & es ist nicht schwer sich so einen vorzustellen. Es ist dann eine Rechenaufgabe, zu finden, ob ein Satz ein Elementarsatz ist, oder nicht.
     Die Frage, ob ein logisches Produkt (z.B.) in einem Satz versteckt sei, ist ein mathematisches Problem. – Was hier “versteckt” heißt, wird durch die Methode das Versteckte zu finden || suchen || des Suchens definiert (beziehungsweise durch den Mangel einer Methode).