Whitehead and Russell's theory of deduction as a mathematical science. (Q571238)

Beim Aufbau des elementaren Satzkalküls der ``Principia Mathematica'' sind gewisse metamathematische Aussagen, d. h. solche \textit{über} den betrachteten Kalkül, unerläßlich; diese erscheinen dort in der Gestalt nichtformalisierter, inhaltlicher Überlegungen. Verf. stellt sich nun die Aufgabe, auch diese zu formalisieren und auf axiomatische Form zu bringen. Erst dann wird der Aussagenkalkül ein von der inhaltlichen Bedeutung der in ihm auftretenden Zeichen befreiter Formalismus und damit ein Teilgebiet der Kombinatorik, also eine mathematische Disziplin.