Es sei
das Symbolalphabet, das neben Variablen aus einem zweistelligen Relationssymbol
besteht. Wir betrachten vierelementige
-Strukturen,
die
erfüllen
(also WM-Fußballgruppen, wobei
als
gewinnt gegen
interpretiert wird).
Erstelle Aussagen
in einer freien Variablen
derart, dass
-
bedeutet, dass
![{\displaystyle {}m}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d18c5c5ca10d6e2bb629494ac8c27230d7b78b41)
in der Abschlusstabelle
![{\displaystyle {}k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92c9fdad86d9ba226a50ec2643c0ffdeca0633e9)
Punkte hat.