Am 20.04.2024 um 10:38 schrieb Rat Frag
<rat96frag(a)gmail.com>om>:
Und die Prämissen zeigen sich in den Beweisen,
die stets zu den Sätzen herangezogen oder gemacht werden sollten.
Das ist im Grunde:
A -> B -> A.
Hi RF,
Wiederholungen öden mich an; denn wie oft haben wir nicht schon math. Sätze behandelt und
ich darauf verweisen, dass sie nur in Verbindung mit ihren Beweisen verständlich seien
(wie bspw. am 4.1.16). Satz: Gott existiert notwendigerweise. Im Beweis führt Gödel als
Prämissen Axiome, Definitionen und Hilfssätze an. Also zeigen sich die Prämissen erst im
Beweis und nicht bereits im Satz, d.h. B? A -> B! Was soll demgegenüber Dein A -> B
-> A?
IT