Before revision: Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power.
After revision: Research in mathematical logic commonly ㄓ只 the mathematical properties of formal systems of logic such as their expressive or deductive power.