@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}
}