Šta je kornjača rekla ahileju?

Kerolova logika, ona koju izlaže u svojim knjigama, često je teška za razumevanje, tako da se čitalac, veoma često zbog neobičnog jezika, prosto izgubi, a jedan od osnovnih razloga za to jeste što se Kerol neretko poduhvatao problema koji se nalaze na samom obodu logike, a jedan od najboljih primera za to su formulacije logičkih zaključaka. Kako bi do kraja raščistio stvar, bio mu je neophodan izvestan metajezik, a u njegovo vreme metajezik, ili jezik simbola, ni izbliza nije dobio konačan oblik. Njegovi napori da iskaže sopstvene intuitivne procese bili su zaista zadivljujući i gotovo da je stigao do svog cilja ostajući unutar logičkog sistema, umetanjem dodatnog opšteg zakona iskaza kao unutrašnjeg jezika rečenice, naročito se posvetivši poznatom problemu Ahileja i kornjače.