Template:Individual-TLP-paragraph-de-6.1263: Difference between revisions

Template:Individual-TLP-paragraph-de-6.1263 (view source)

1 byte removed , 2 years ago

m

Bot: Automated text replacement (-\{\{ParTLPwrapper\-de\|\n\{\{ParTLPde\| +{{ParTLPwrapper-de|{{ParTLPde|)

5,235

edits

@@ Line 1: / Line 1: @@
-{{ParTLPwrapper-de|
+{{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.
 }}