Comment by speak_plainly

You do realize that propositional logic, set theory, and mapping the limits of formal systems are philosophy, right? You're literally describing mathematical logic and philosophy of language.