@misc{Lexicon of Arguments, title = {Quotation from: Lexicon of Arguments – Concepts - Ed. Martin Schulz, 29 Mar 2024}, author = {Hilbert,David}, subject = {One (Number 1)}, note = {Berka I 121 Definition 1/one/number/logical form/Hilbert: 1(F) : (Ex)[F(x) & (y)(F(y) > ≡ (x,y)]. Hilbert: "There is an x for which F(x) exists, and every y for which F(y) exists is identical with this x". Definition 2/two/number/logical form/Hilbert: 2(F) :(Ex)(Ey) {~≡(x,y) & F(x) & F(y) & (z)[F(z) > ≡ (x,z) v ≡ (y,z)]}. I 122 "There are two different x and y to which F applies, and every z for which F(z) exists is identical with x or y"(1). >Numbers, >Equality, >Identity, >Equations. 1. D. Hilbert & W. Ackermann: Grundzüge der Theoretischen Logik, Berlin, 6. Aufl. Berlin/Göttingen/Heidelberg 1972, §§ 1, 2.}, note = { Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 }, file = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410239} url = {http://philosophy-science-humanities-controversies.com/listview-details.php?id=410239} }