Undecidability of first order predicate logic has been proved by different methods. One of them is a complex method in which algebraic concepts such as sets, semi groups and its words problems are used. In this paper we have examined the above method and it seems that all methods have a common important core which is related to what Hilbert calls "halting problem". So we think that undecidability of first order logic is subordinate to the halting problem.