LARA This is an old revision of the document! Undecidability of First_order Logic We followed proof given on the following web page.