Gödel's Incompleteness Theorems - Graph View

Two fundamental theorems proving that any consistent formal system powerful enough to express arithmetic contains true statements that cannot be proven within the system.