Motiviert durch aktuelle Entwicklungen in der abh?ngigen Typentheorie und bei Unendlichkategorien pr?sentiert dieses Buch die Ideengeschichte der Begriffe Wahrheit, Beweis, Gleichheit und ?quivalenz. Neben ausgew?hlten Ideen von Platon, Aristoteles, Leibniz, Kant, Frege und anderen werden Resultate von G?del und Tarski ?ber Unvollst?ndigkeit, Unentscheidbarkeit und Wahrheit in deduktiven Systemen und ihren semantischen Modellen vorgestellt. Der...