> Am 20.04.2024 um 10:38 schrieb Rat Frag <rat96frag@gmail.com>:
>
>> 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