Axiomatische Untersuchung des Aussagen-Kalkuls der “Principia Mathematica”