Adott egy R kétváltozós predikátum. Másodrendű logikában hogyan formalizálnátok azt az állítást, hogy az "a" elemből kiindulva az R predikátum iterálásával megkaphatjuk a "b" elemet, azaz létezik olyan a=a_{1}, ... ,a_{n}=b sorozat, amelyre bármely i-re R(a_i,a_{i+1})