Kategorie:Prädikatenlogik/Fakten

< Kategorie:Prädikatenlogik

Diese Kategorie ist eine mathematische Fakten-Kategorie.

Unterkategorien

Diese Kategorie enthält die folgenden 6 Unterkategorien (6 insgesamt):

A

Ableitungskalkül der Prädikatenlogik/Fakten (19 S)

D

Der Vollständigkeitssatz/Fakten (17 S)
Die Sprache der Prädikatenlogik/Fakten (1 K)
Die Unvollständigkeitssätze von Gödel/Fakten (5 S)

M

Modelltheorie der Prädikatenlogik/Fakten (3 K, 2 S)

T

Theorie der Repräsentierbarkeit/Fakten (2 K, 4 S)

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Kategorie:Prädikatenlogik/Fakten&oldid=283139“