III.R44 — The Gödel Analogy

Structural parallel between Con(ZFC) unprovability and (conjectured) unprovability of τ-native P=NP in ZFC. Both require a vantage point outside the system. ZFC can prove theorems about TMs but cannot prove that τ-admissibility captures the right class. Analogy, not theorem.