Im Symbolismus wird tatsächlich zugeordnet, während in der Bedeutung nur von der Möglichkeit der Zuordnung die Rede ist. (Man könnte also die Scheinfuntionen ⌊⌊


(∃1x) φx ∙ (∃1x) ψx ∙ Ind . ⊃ . (∃1 + 1x:) φx ⌵ ψx.
(∃1 + 1x) ״ (∃1:x) … (∃(1 + 1) + 1x) …

     (1 + 1) + 1 = 1 + 1 + 1





Ist „(En)4 + n = 7–α” eine Disjunktion? Nein, denn eine Disjunktion hätte nicht das Zeichen „u.s.w. ad inf” am Ende sondern ein Glied der Form 4 + x.

     Weder ist En α von der Art des Satzes „Es gibt Menschen in diesem Haus” noch des Satzes „Es gibt eine Farbe die sich mit dieser gut mischt” noch „Es gibt Aufgaben die mir zu schwer sind noch „Es gibt eine Tageszeit in der ich gern spazieren gehe”.
⌋⌋
20
x = a, x = a . V . x = b, etc., arithmetische Funktionen nennen. Sie nämlich enthalten das Arithmetische der Sätze. Sie enthalten die Zahlen.

/ \ ✓