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