Post's problem was solved with a method called the priority method; a proof using this method is called a priority argument.
Το πρόβλημα του Post λύθηκε με μια μέθοδο που ονομάζεται η μέθοδος κατά προτεραιότητας,μια απόδειξη χρήση αυτής της μεθόδου ονομάζεται επιχείρημα προτεραιότητας.