Das vorliegende Buch bietet eine umfassende und technisch detaillierte Einführung in die Unvollständigkeit formaler Theorien und in die damit einhergehenden Probleme. Das Buch ist als ein Hilfsmittel konzipiert, das dem offenkundigen Bedürfnis vieler Studenten der Philosophie nachkommt. Der Autor führt in die notwendigen Techniken ein, um ein angemessenes und philosophisch fruchtbares Verständnis der Problematik der Unvollständigkeit formaler Theorien zu ermöglichen. Diese ZielSetzung kann nämlich nicht ohne eine solide Aneignung der technischen Aspekte dieser Fragestellung erreicht werden. Aufgrund dieser Aufgabenstellung verfolgt das Werk zwei grundlegende ZielSetzungen: Zum einen soll die Bedeutung der Unvollständigkeit formaler Theorien für das Hilbertsche Programm der finitistischen Formalisierung mathematischer Theorien aufgezeigt werden. Zum anderen sollen Implikationen herausgearbeitet werden, welche mit der Unvollständigkeit formaler Theorien für das allgemeine erkenntnistheoretische Problem der Grundlegung des Wissens zusammenhängen, sei es hinsichtlich der speziellen Form mathematischen Wissens, sei es hinsichtlich der Wissensformen ohne spezielle Rücksicht.