Wenn der Satz nun nur noch arithmetische Beziehungen zeigt so – glaube ich – muß auch alles an ihm [U|u]nwesentlich werden was ihn zum Satz gemacht hat (die logischen Constanten) und dann muß sich diese arithmetische Beziehung auch einfacher darstellen lassen.