@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Hilbert,David}, subject = {Grundbegriffe}, note = {Berka I 59 Axiome/Logik/Berka: Aus methodologischen Gründen gibt man Systemen mit mindesten zwei Grundbegriffen den Vorzug, z.B. den Funktorenpaaren N C, A N, oder K N. Im Allgemeinen benutzt man heute das von Hilbert und Bernays (1934)(1) stammende System, mit fünf Grundbegriffen. Pointe: Wegen der 5 Grundbegriffe kommt es ohne Definitionen aus. I. Formeln der Implikation CpCqp - CCpCCpqCpq - CCpqCCqrCpr II. Formeln der Konjunktion CKpqp - CKpqq - CCpqCCprCpKqr III. Formeln der Alternative (Disjunktion) CpApq - CqApq - CCprCCqrCApqr IV. Formeln der Äquivalenz CEpqCpq - CEpqCqp - CCpqCCqpEpq I 60 V. Formeln der Negation CCpqCNqNp - CPNNp - CNNpp >Systeme (Mathematik), >Implikation, >Konjunktion, >Disjunktion, >Äquivalenz, >Negation, >Definitionen, >Definierbarkeit. 1. D. Hilbert & P. Bernays: Grundlagen der Mathematik. Bd. 1. Berlin 1934, Julius Springer Verlag.}, note = { Berka I Karel Berka Lothar Kreiser Logik Texte Berlin 1983 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=506555} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=506555} }