Proof of the Incompleteness of Deductive Logic: Second Edition (English Edition)

This short work proves the incompleteness of deductive logic. In other words, it proves that there is no recursive definition of K, where K is the class of all systems of logic.