Provability with finitely many variables
James Donald Monk · Proceedings of the American Mathematical Society · 1971
In first-order logic with equality but with finitely many variables, no finite schema suffices to give a sound and complete axiomatization of the universally valid sentences. The proof uses a rather deep result from algebraic logic.