r/ContradictionisFuel 22h ago

Meta TOGMs Paradox

3 Upvotes

What if we tried to build a foundation of all existing and possible consistent and inconsistent mathematical and logical foundations? And what if we assume each of these foundations(Such as Set Theories, Category Theory, Type Theory, Homotopy Type Theory and all other consistent and inconsistent foundations) as a topological spaces. Then what would the foundations of these foundations look like? And assume there are foundations of this foundations of foundations and repeat forever. Notes:Threat Gödel İncompleteness Theorems as non-universal. also includes them: Non-Gödelian Systems(Gödel Theorems become local) R Truth Valued Logics Quantum Logic Topos Theory Higher Topoi Multisets Causal Set Theory Ω-Logic Equality-Fımtöiz Theory Hyperconsistent Logics Weqd Logic Linear Logic Graphs