I am not sure what kind of answer you expect, whether it should be philosophical or mathematical. To give a clarifying example, can you explain how arithmetic captures the essential properties of addition, subtraction, multiplication and division?

What do you mean by the reduction of Boolean expressions? And do Boolean expressions in question contain propositional variables or only T and F?