Was tun wir wenn wir zur Begründ
ung der
Arithmetik nur Funktionen von der
Form || Art
x = a,
x = a ⌵ x = b, x = a ⌵ x = b ⌵ x = c,
etc., x = a ∙ y = b, x = a ∙ y = b
⌵ x = c ∙ y = d
etc.
verwenden.
Solche Funktionen könnte man praktisch auch so schreiben:
(a b c)x
u.s.w. bzw.
(ab, cd, ef)xy
und dann
abgekürzt
„φx” und
„Rxy” wo eben
„φ” für
„(a b c)” oder
dergl. steht &
„R” für
„(ab, cd,
ef)”
.
Die Definition wäre dann die daß (a b c)x für
die Argumente a, b, c
Tautologie & für alle anderen
Kontradi
ktion
wird
.