Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen…
4 KB (403 Wörter) – 19:45, 1. Aug. 2026
Entscheid-bar Entscheidbarkeit…
42 Bytes (3 Wörter) – 08:17, 13. Jul. 2025
postul-at n. Sprachstufe::lat.-deu. egtl. 'Frage, Anfrage' ‘unbedingte (sittliche) Forderung’ (Anfang 15. Jh.), in der Philosophie ‘logische, methodische…
8 KB (1.026 Wörter) – 14:34, 30. Apr. 2026
Postulat-a Sprachstufe::lat.-deu. Mz. z. Postulat…
146 Bytes (8 Wörter) – 17:37, 8. Dez. 2025
Prädikate-n-Logik vgl. Prädikation Die Prädikatenlogiken (auch Quantorenlogiken) bilden eine Familie logischer Systeme, die es erlauben, in der Praxis…
36 KB (3.403 Wörter) – 21:29, 3. Aug. 2026
Die Geschichte der Logik behandelt die Entstehung und Entwicklung der Logik und aller ihrer Teildisziplinen. In verschiedenen Erdteilen haben sich verschiedene…
51 KB (5.007 Wörter) – 08:58, 2. Apr. 2026
Der Begriff der Struktur (englisch (first order) structures) ist ein Grundbegriff der mathematischen Teilgebiete der Modelltheorie und der universellen…
13 KB (1.383 Wörter) – 08:33, 10. Apr. 2026
