Mir scheint, als führten wir, ohne es zu wissen, neue Begriffe in die R.sche Logik
ein ‒ ‒ z.B.,
ein. ‒ ‒ Z.B.,
indem wir festsetzen, was für Zeichen der Form (∃x,y,z …) als einander äquivalent & welche nicht als äquivalent gelten sollen.
        Ist es selbstverständlich, daß “(∃x,y,z)” nicht das gleiche Zeichen ist wie “(∃x,y,z,u)”?