This monography consists of three papers: "A general method in proofs of undecidability", "Undecidability and essential undecidability in arithmetic", "Undecidability of the elementary theory of groups".