The Proof of Soundness and Completeness of Sentential and Propositional Logic

Kurt Gertel showed the next most complicated form of logic, something called predicate logic or first order logic, that even that was sound and complete. He became famous for this of course because it answered what's known as Hilbert's second problem. And in doing so, it put paid to Russell and Whitehead's thesis or project from the Principia.