Is logic a subset of math? Is math a subset of logic? Nobody knows… except maybe Gödel.