German Mathematische Logik Cited by user Zuphilip on 06 Aug 2023 Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung…
German Theorie (Logik) Cited by user TabellenBot on 14 Nov 2022 In der mathematischen Logik ist eine Theorie (der Prädikatenlogik erster Stufe) eine Menge von Aussagen über einer Signatur.
German Axiomenschema Cited by user 130.133.155.68 on 26 Sep 2019 Der Begriff Axiomenschema bezeichnet in der Mathematischen Logik eine metasprachliche Konstruktionsvorschrift zur Darstellung von erststufigen Axiomensystemen, die nicht…