Ein Spiel heißt wohl-fundiert, wenn der zugrunde liegende Graph keine unendlichen Pfade besitzt (d.h. jede Partie endet nach endlich vielen Schritten). Auswertungsspiele der Prädikatenlogik erster Stufe sind stets wohl-fundiert, da die Formeln eine endliche Tiefe haben.