Illustra i primi e secondi teoremi di incompletezza di Gödel. Spiega in termini teorici come questi teoremi dimostrino che in qualsiasi sistema assiomatico formale abbastanza complesso esistono verità che non possono essere dimostrate all'interno del sistema stesso.