From the perspective of mathematical logic, we start with languages, i.e. the language of groups, the language of sets, the language of Number Theory, etc.. These include all of the necessary symbols of the logic needed, whether it be propositional, first-order, second-order, or what have you. They also include non-logical…