All arithmetic, moreover, can be deduced from the general principles of logic, yet the simple propositions of arithmetic, such as 'two and two are four', are just as self evident as the principles of logic.