Rozwiązanie 1. Gra Ehrenfeuchta-Fraisse.
Gramy na dwóch strukturach
* *-* *-*-*
/ \ / \ / \
* * * * * * ...
\ / \ / \ /
* *-* *-*-*
i
* *-* *-*-* *-*-*-*-*...
/ \ / \ / \ /
* * * * * * ... *
\ / \ / \ / \
* *-* *-*-* *-*-*-*-*...
w kórych wszystkie krawędzie są skierowane na prawo. Górna struktura ma własność Churcha-Rossera, dolna nie.
Gracz II ma strategię wygrywającą w grze o dowolnej liczbie rund. Ruchy gracza I w nieskończonym komponencie w dolnej strukturze naśladuje w dostatecznie dużym komponencie struktury górnej.
Rozwiązanie 2. Twierdzenie o zwartości.
Załóżmy, że \(\Delta\) jest aksjomatyzacją własności Churcha-Rossera.
Dodajemy do sygnatury trzy stałe \(a,b,c\) oraz do \(\Delta\) zdania \(\{E(a,b),E(a,c),\varphi_n~|~n\in\mathbb{N}\}\), gdzie \(\varphi_n\) mówi, że nie istnieje \(d\), które jest z \(b\) i \(c\) osiągalne w odelgłości mniej niż \(n\) krawędzi. W ten sposób dostajemy \(\bar\Delta\).
Każdy skończony podzbiór \(\bar\Delta\) jest spełnialny: wystarczy w górnej strukturze użytej w rozwiązaniu za pomocą gry stałe \(a,b,c\) zinterpretować jako trzy pierwsze od lewej wierzchołki składowej o wystrczająco dużej długości.
Z tw. o zwartości całe \(\bar\Delta\) jest spełnialne. ale to sprzeczność: z \(a\) można przejść do \(b\) i \(c\), ale w żadnej skończonej liczbie kroków nie można od nich "zejść się" do wspólnego wiezchołka.