When a certain number of logical principles have been admitted, the rest can be deduced from them; but the propositions deduced are often just as self evident as those that were assumed without proof.