6˙11352
Es wäre ja auch zu merkwürdig wenn man einen [S|s]innvollen Satz logisch aus anderen beweisen könnte und einen logischen Satz auch. Wenn Es ist von vornherein klar daß der logische Beweis eines sinnvollen Satzes und der Beweis in der Logik zwei ganz verschiedene Sachen sein müßen