Vertex Cover (Logik)

Das Problem, ob ein Graph $G=(V,E)$ ein Vertex Cover der Größe $\le k$ besitzt (eine Menge $X\subseteq V$, sodass jede Kante einen Endpunkt in $X$ hat), lässt sich in FO formalisieren, indem man die Existenz von $k$ Knoten postuliert:

Dies umgeht die Quantifizierung über Mengen, die in FO nicht erlaubt ist.