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