Über die Vollständigkeit der Axiome des logischen Funktionenkalküls