Ich müßte offenbar eine Beschreibung dieses Wesentlichen des Zeichens
geben.
Ich könnte etwa sagen in der
linken || rechten
Klammer kommen alle Buchstaben der linken Klammer vor und
noch
einer mehr.
Aber ist so eine Beschreibung erlaubt?
Merkw
ürdigerweise glaube ich, ja.
Setzt nicht jeder Symbolismus solche
Beschreibungen voraus?
Ich könnte auch ein Zeichen konstruieren:
(∃x y z)
φx ∙ φy ∙ φz : ~ (∃x y z u) φx φy φz φu(Ƒ)
Oder ich könnte die Regel geben:
Der
Satz || Ausdruck (∃…)
φ… ∙ ~(∃…)
φ… ist eine Variable deren Werte der folgenden Beschreibung
genügen: ….
Hier kann man auch von einer 1-1 Relation
Gebrauch machen als Kriterium dafür daß in der rechten
Klammer alle Buchstaben der linken stehen.