Man kann eine Aussage für richtig halten ohne sich die Konsequenzen vorstellen zu können. Du kannst dir 'unendlich' nicht vorstellen, gehst aber ganz locker damit um.
Zitat:
Zitat von TomS
Nimm an, es gäbe nur endlich viele Primzahlzwillinge (wir wissen es heute nicht). Wird der größte Primzahlzwilling (P,P+2) „von uns erschaffen“, sobald wir den Beweis erbringen?
|
Er existiert in diesem Fall abstrakt, im anderen Fall existieren unendlich viele Primzahlzwillinge abstrakt. Ich denke ableitbare Aussagen existieren abstrakt, sofern sie nicht Gödel zum Opfer fallen.