LARA This is an old revision of the document! Undecidability of First-Order Logic Background Turing Machines Result First-Order Logic is Undecidable Consequences Complete Recursive Axiomatizations Goedel's Theorem