Über Vollständigkeit und Entscheidbarkeit. (Q1437018): Difference between revisions

Verf. unterscheidet einen ``empirischen'' und einen ``allgemeinen'' Satz vom ausgeschlossenen Dritten; der ``empirische'' ist dabei das, was man gewöhnlich den Satz vom ausgeschlossenen Dritten nennt; der ``allgemeine'' betrifft die formale Entscheidbarkeit eines Axiomensystems. Der absoluten ``Verallgemeinerung'' des Satzes vom ausgeschlossenen Dritten steht die Tatsache der Existenz unvollständiger Begriffe entgegen, die sich nach Verf. vielleicht durch die Vervollständigungsfähigkeit unvollständiger Begriffe mildern ließe. Es ist nicht ganz ersichtlich, welchen Sinn Verf. in diesem Zusammenhang der Behauptung von der Kategorizität des \textit{Peano}schen Axiomensystems beigelegt wissen will.