As all you Gödel guys n’ gals know, Kurt’s “Incompleteness Theorem” states, among other things, that any system of mathematics powerful enough to prove the basic theorems of arithmetic must allow for the existence of theorems that cannot be proven to be either true or false, and is thus necessarily “incomplete”. The so-called “Vanneman corollary”…
