Der vollständige Beweis der Vollständigkeit des Aussagenkalküls kann in Kutschera / Breitkopf (1985:66-70) nachgelesen werden.