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