Das Problem ist jetzt: Kann man die Formalisierung der Sinnausdrücke eines Satzes (die bis jetzt verstanden wurde als durchsichtig machen der formalen Eigenschaften eines Satzes, indem anstelle der konkreten Sinnausdrücke eine Variable, ein Satzschema, gesetzt wird) - kann man also diese Formalisierung so vornehmen bzw. so rechtfertigen, dass man den jeweiligen Sinnausdrücken die jeweiligen formalen Eigenschaften zuordnet, oder: dass man die Sinnausdrücke als Elemente einer Klasse bezeichnet, welche durch eine dieser formalen Eigenschaften definiert ist?