Metadata
Author: ParaCrawl Corpus
Data
German[de]
Ein solches System ist die Mengenlehre mit den Zermelo-Fränkel-Axiomen, zusammen mit der klassischen Logik erster Ordnung.
English[en]
What follows is a description of the standard or Tarskian semantics for first-order logic.