Gegeben eine Sprache-erster Ordnung, eine n-stellige Relation R und Terme t1,...,tn. Dann ist R(t1,...,tn) eine Primformel
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:49