1906-78 Logiker - machte bekannt, daß jedes wissenschaftliche Theoriegebäude die Vollständigkeit seiner eigenen axiomatischen Basis prinzipiell nicht beweisen kann