Post's problem was solved with a method called the priority method; a proof using this method is called a priority argument.
Problema lui Post a fost rezolvată cu o metodă numita metoda priorității; o demonstrație ce folosește această metodă se numește o argument de prioritate.