Primformel

1. Definition

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