5,235
edits
m (Bot: Adding - }}) |
m (Bot: Adding {{ParTLPwrapper-de|) |
||
Line 1: | Line 1: | ||
{{ParTLPwrapper-de| | |||
{{ParTLPde|6.1263}} Es wäre ja auch zu merkwürdig, wenn man einen sinnvollen Satz {{spaced text|logisch}} aus anderen beweisen könnte, und einen logischen Satz {{spaced text|auch}}. Es ist von vornherein klar, dass der logische Beweis eines sinnvollen Satzes und der Beweis {{spaced text|in}} der Logik zwei ganz verschiedene Dinge sein müssen. | {{ParTLPde|6.1263}} Es wäre ja auch zu merkwürdig, wenn man einen sinnvollen Satz {{spaced text|logisch}} aus anderen beweisen könnte, und einen logischen Satz {{spaced text|auch}}. Es ist von vornherein klar, dass der logische Beweis eines sinnvollen Satzes und der Beweis {{spaced text|in}} der Logik zwei ganz verschiedene Dinge sein müssen. | ||
}} | }} |