Die Unvollständigkeitssätze von Kurt Gödel zeigen, dass jedem hinreichend mächtigen formalen System, das die Axiome der Arithmetik umfasst, es wahre Aussagen gibt die innerhalb die... [mehr]
Die Unvollständigkeitssätze von Kurt Gödel zeigen, dass jedem hinreichend mächtigen formalen System, das die Axiome der Arithmetik umfasst, es wahre Aussagen gibt die innerhalb die... [mehr]