first-order language

1. Definition

Eine Sprache \(\mathcal{L}\) erster Stufe ist bestimmt durch:

  1. einer abzählbar unendlichen Menge an Variablen
  2. einer Signatur

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 18:37