Just as linguists recognize recursive structure in natural languages, it appears that logic needs recursive structure.
Ακριβώς όπως οι γλωσσολόγοι αναγνωρίζουν την αναδρομική δομή στις φυσικές γλώσσες, φαίνεται ότι η λογική έχει την ανάγκη της αναδρομικής δομής.